寝て起きたら例が例になってないことに気づいた。
posted at 10:45:02
| Stats | Twitter歴 4,147日（2009/01/28より） |
ツイート数 236,257（56.9件/日） |
表示するツイート :
2020年06月05日(金)7 tweetssource
専用無線アダプタとBTを切り替えられるマウスを使っているが、切り替えの誤動作が多すぎるのとBTがかくかく過ぎて（wifiに影響されるのかな）使い物にならないので、今度買うときは普通の無線マウスにしようと思った。これ無駄だ。
posted at 03:57:49
Agda、述語とか含む関数書くのは楽だけど証明書くのはホントめんどい。
posted at 02:12:05
ちゃんと正しいことも示した。ほんと何やってんだ。
posted at 02:10:48
自分でもなぜ意地になったのか分からないが必死に構造再帰で除算を書いてた。
posted at 02:08:43
あさとかよるとかそれいぜんのもんだいでしてね・・・？
posted at 00:01:58
ぇぇ...
posted at 00:00:45
2020年06月04日(木)19 tweetssource
PLDI、朝21時から始まって夜33時に終わｒ...
ちょっとまて冗談はともかく12時間ないか本体。
posted at 23:58:23
@kazuya_dare がんばる！（そしてすぐサボる）
posted at 23:33:27
やっと終わったでござる...
posted at 23:33:14
ぷらす6・・・？？
posted at 21:36:43
なんかdoPとかいうのが怪しいんだけどこれreflection周りのような...
posted at 21:00:12
お腹？
posted at 20:53:16
おい社会人ｗ
posted at 20:36:03
@SugarHigh_bin やれやれと思いながら眺めてます
posted at 20:31:55
あいつらまたじゃれ合ってる...
posted at 20:18:38
@Skroig0010 IALにはなさそう
posted at 19:12:52
エレメント系ってなんだっけ...
posted at 16:27:59
Presburger Arithmetic and Semi-Linear Sets:The Past, the Present and the Future
https://www7.in.tum.de/~schulzef/2017-06-09-Christoph-Haase.pdf…
おお，色々簡潔にまとまってて良い資料．
Retweeted by Sosuke MORIGUCHI
retweeted at 14:50:56
@haraitter20 ・糸くずの原因を取り除く（その原因を一緒に洗わない）
・洗濯物を洗濯ネットに入れる
・気にしない
posted at 14:27:16
Rust x WebAssemblyの画像処理ライブラリ。デモを見た感じかなり処理が速い気がする。必要な関数は一通り揃ってそうで、仕事で使ってみたい👀 / 📦Photon: A WebAssembly Image Processing Library https://silvia-odwyer.github.io/photon/
Retweeted by Sosuke MORIGUCHI
retweeted at 13:33:50
二ヶ月ぶりの研究室。もの回収して適当なところで帰ろう。
posted at 13:20:57
Fingerprint.js キモすぎるな…ブラウザの機能の隅から隅まで血眼になって調べ尽くしてる感がある
処理結構重そうだし Coinhive なんかよりよっぽど悪質では
https://www.saitolab.org/fp_site/ https://pic.twitter.com/PlFb6CD6rl
Retweeted by Sosuke MORIGUCHI
retweeted at 11:40:13
@kazuya_dare あと若さ
posted at 01:22:55
どのくらい手を入れたものか...
posted at 00:30:25
どれちゅ@新作「Romantic Kiss」@dRESS_avenew
誰にも言った事ないけど。
「true my heart」のOrigin。
つまりNursery Rhyme -ナーサリィ☆ライム- 用に作ったテイクは、2005年6月22日20時05分に完成。プロモムービー用のショート版は同日20時46分に完成しました。
2020年6月22日に「true my heart 」は生誕15周年を迎えます。
知らんかったろ？w
Retweeted by Sosuke MORIGUCHI
retweeted at 00:00:50
2020年06月03日(水)23 tweetssource
東方キャラは覚えられてたった十五人しかいない徳川将軍は何故覚えられないのか？
それは専用BGMが無いから
だから徳川吉宗は認知度が高い。専用BGMがあるから
Retweeted by Sosuke MORIGUCHI
retweeted at 22:10:51
@toshi_pp 絶妙にめんどそうな位置なのが...仕方ないね。もうちょい考えてみる。
posted at 21:55:56
ほしょーきかん12ねん...
posted at 21:45:48
@Ashurnasirpal 涙なしには見られないんやで（棒
posted at 21:44:50
@toshi_pp 要それなりの移動、のようである。
えいやっと行くのも手ではあるが...
posted at 21:43:20
@Ashurnasirpal 最後は共闘してDDOSと戦うのだ
posted at 21:40:57
@Ashurnasirpal 負の側面NACK太郎
posted at 21:37:23
だー、高階関数で取る部分を暗黙の引数にするなよ...勝手に埋めようとするんだよ...
posted at 21:33:24
@toshi_pp 保証期間確かに凄いな、十年て。
試座する方法がぁ...
posted at 21:08:39
@chakku_000 それはあるかもしれない。今は試せないのがなあ。ぐぬぬ
posted at 20:23:25
アーロンチェア20万か...なるほど確かに高い。
posted at 20:20:57
@Nariya_ast これはなかなかすごいな。欠片も良いところが見えない。
posted at 16:48:27
給付金、申請締め切りがちゃんとあるな。そりゃそうだ。
posted at 16:19:33
なんかPixivのUI変わったな。情報が整理されてないので余計に何も分からなくなった感。
posted at 16:02:05
なんか最後の一個だけどこかで見ますね...
posted at 15:25:18
年間2000個しか売れてなかったホットサンドメーカーがここ数ヶ月で20000個売れたらしいが、おそらく『ﾘﾛ氏』の影響が大きいような気がする - Togetter https://togetter.com/li/1534001 https://b.hatena.ne.jp/entry?url=https%3A%2F%2Ftogetter.com%2Fli%2F1534001&utm_source=twitter&utm_medium=social&utm_campaign=hatebu&utm_term=%E6%9A%AE%E3%82%89%E3%81%97%20togetter&utm_content=togetter.com…
Retweeted by Sosuke MORIGUCHI
retweeted at 15:16:45
機会あったら角煮まんじゅう買ってこないとな
posted at 14:50:45
@SugarHigh_bin お疲れ様です
次々といってますね
posted at 14:19:59
いい加減まともな時間に寝ないとまともな時間に起きれないという単純な結果を得たので今日はちょっとまともな時間に寝ようと思った。
posted at 13:59:30
呼吸に感謝
posted at 04:06:31
なんか全体像のイメージができない...
posted at 03:25:50
森口あらん@GX-90コン・バトラーV F.A.発売中！@AlanMoriguchi
どうかしている…
金型と絡む仕事をしている人全員が、恐怖を感じるレベル。
次元の違う技術を、おかしな形で見せられている。
バトルマンガでよくある、圧倒的強者に出くわした時の感覚は、こんな感じなんだろうな…戦える気が全くしないｗ
#カップヌードルプラモデル https://pic.twitter.com/VckMKKFAKl
Retweeted by Sosuke MORIGUCHI
retweeted at 01:58:22
『Twitterプロモに「興味がない」を押し続けるといつしか個人の意味不明なプロモツイートがひたすら表示されるようになる』という真偽不明の伝説に従って約半年、ついに私のタイムラインにも知らない人が野菜をペチペチ叩いてるだけのプロモツイートとかが流れるようになった。伝説は本当だったんだ。
Retweeted by Sosuke MORIGUCHI
retweeted at 00:21:46
2020年06月02日(火)25 tweetssource
「運営がイラストレーターの名前を把握してないのか」って人もいるかもしれないけど、仲介エージェントがクリエイターと直接やり取りされる事を警戒して、名前を開示しなかったり、「インハウス人員なんで、クレジットは社名でよろしく」と通知しなかったりで、把握してない場合は普通にあると思う。
Retweeted by Sosuke MORIGUCHI
retweeted at 23:39:36
アラート出たってことはそんな簡単には2.5-には入りそうもないな。うーむ。
posted at 23:15:13
@SugarHigh_bin 大学行ってるんなら私の机の横の段ボールにまだ1箱あるんで持っていってください
posted at 23:14:37
@SugarHigh_bin 素材持ってるのが自分じゃないので書けないんですよね...日本語の修正は一応昨晩のうちに。
posted at 23:11:18
@SugarHigh_bin あと二日なんで...
posted at 22:57:38
...で、論文の方は？
posted at 22:16:08
ああ、Ωであってるのか。
posted at 21:37:34
...Θと勘違いとか言うオチはないよね？
posted at 21:37:13
センチリットル
posted at 21:23:48
証明って俺が見れば良いのかな...どこに挙がってるんだろう
posted at 21:20:36
ときどきgit pullしては更新されてないなあ、なんて思うなど。
posted at 20:20:46
うおー、やっぱあそこまで野菜ジュース買いに行くのは毎回きついぜ...
posted at 20:17:11
あー...
posted at 19:01:08
【速報 JUST IN 】東京都 新たに30人以上の感染確認 新型コロナウイルス #nhk_news https://www3.nhk.or.jp/news/html/20200602/k10012455031000.html…
Retweeted by Sosuke MORIGUCHI
retweeted at 19:00:51
ランプオブシュガー公式＠最新作「ねこツク、さくら。」６月２６@lumpofsuger
#lumpofsugar 本日は『プリズムリズム』よりリア・ベルリオーズの誕生日です！リアちゃんおめでとう♪ https://pic.twitter.com/8DJgBqttMf
Retweeted by Sosuke MORIGUCHI
retweeted at 14:52:33
再来週...あ、PLDIじゃん...
posted at 14:43:46
@k6ky 単横...まさか声はソナーでk6ky君は潜水艦...！？
posted at 14:26:32
@k6ky 死角から注意を促しているに違いない...
posted at 13:57:54
あー、使ってたパスワード覚えてないー...
posted at 13:36:02
体の要求睡眠時間が結構長い。
posted at 13:23:23
あ、しまった。Chalmersのやつ見るの忘れてた。
posted at 02:18:35
ボルトにワッシャーを使うべきか？
ワッシャー（スプリングワッシャー含む）にゆるみ止め効果は無い。
古いですが、文献付けておきます。
『ねじ締結新常識のうそ』1996日経BP社, pp76 https://pic.twitter.com/ZGkfPUQJ77
Retweeted by Sosuke MORIGUCHI
retweeted at 02:17:17
ここ最近の後手に回りっぷりがひどいのでさっさと動くことにした。
posted at 02:12:19
ぶんがなげーんじゃー
posted at 00:38:07
んー...？袋もらえなくなるのって来月からか？
posted at 00:34:30
