Loves functional programming and concurrency. Opinions are my own.

Nagoya⇆Tokyo, Japan
Joined April 2007
10/26新刊『#研鑽コンパイラ』#オーム社 (9784274235597)#湯淺太一 著 ◆「#プログラミング」棚にて展開中!コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から現代の実行環境で求められる最適化技術までを体系的に説明したテキストです!!
78
12
314
25,529
何が嘘なのかよくわからなかった。確率0は自然言語でいえば「起こらない」と同義ではないのだろうか。 「必ず」という言葉には注意しましょう、ということはあるらしい。
これ「必ず」は嘘で、例えば1次元や2次元でずっと右に行き続けて戻ってこない可能性も(確率0で)あるので 「必ず」と「確率1」の混同、よくある誤解
3
1
4
4,689
「ずっと右(左)に行き続けて戻ってこない経路の集合」自体は非空ですよという主張なのだろうと思ったけど、P(ずっと右(左)に行き続けて戻ってこない経路の集合)=0ということ自体を「必ず原点に戻る」というのは間違いではないと思う。ただ、初学者向けならそれらの違いにきちんと注意向けるべき、
1
1
559
ということなんだろうと思った
441
線路まで浸水し、大きな話題になっていた千種駅周辺ですが…… 今見に来ると、もうかなり水が引いています! 数時間前の映像は何だったんだ😳と思うくらいの回復の速さ。 名古屋の排水・防災インフラの力を改めて感じます。 ただ、電車はまだ動いていないようで、通勤帰りの方が歩いて帰られている姿も多く見かけます。 本当に大変だと思います。 皆さま、どうかお気をつけてお帰りください🙏
32
1,332
175
5,096
708,766
あの辺に川あったか?と思ったらこれ中央線の線路か…!
JR千種駅あたり 消防も来てる
2
6
24
2,863
Hoare triple cake
おかげさまで proof ninja 創立記念7年周年を迎えました。 千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました! #HoareLogic #AntonyHoare #ProofNinja
7
412
おかげさまで proof ninja 創立記念7年周年を迎えました。 千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました! #HoareLogic #AntonyHoare #ProofNinja
6
2
11
1,817
Keigo Imai retweeted
ocaml.jp/events/ocaml_meetin… OCaml Meeting 2026 in Tokyo のサマリを掲載しました 参加者の方にはメールで事後アンケートも送っているので、回答いただけると次の開催に繋がるかもしれません #OCamlMeeting
2
5
1
17
1,502
Keigo Imai retweeted
OCaml Meeting 2026 in Tokyoにご参加いただいた皆さま、本当にありがとうございました。 定員を超えるほど多くの方にお越しいただき、世界各地で活躍するトップクラスの方々を交えながら、アカデミックな議論から実際の産業での活用まで、非常に幅広いテーマを議論する場になりました。 これだけの方々がOCamlを軸に集まり、直接議論し、つながる場をつくれたことを、とても嬉しく思っています。
OCaml Meeting 2026 in Tokyo 開催中🐪 日本のOCamlコミュニティによる13年ぶりの勉強会を、DeNA渋谷オフィスにて開催しています。国内外のスピーカーによるセッション・LTが行われています。 ocamljp.connpass.com/event/3… #OCamlMeeting
1
10
1
32
3,671
Keigo Imai retweeted
OCaml Meeting 2026 in Tokyo 開催中🐪 日本のOCamlコミュニティによる13年ぶりの勉強会を、DeNA渋谷オフィスにて開催しています。国内外のスピーカーによるセッション・LTが行われています。 ocamljp.connpass.com/event/3… #OCamlMeeting
14
2
26
6,828
今日は待ちに待ったOCaml Meeting 2026です!
2
12
493
Keigo Imai retweeted
推論を共有する人々は、推論の遠回りとしてお互いの結論を参照し合う。 それは根拠から結論への一本道へと直せる(正規化可能性)。 そうやって社会的に知識を共有し、いつかは星に手が届く。
🤖 Made with AI
12
1
46
8,309
Keigo Imai retweeted
Haskell で層を実装する方法の解説記事👀 前層と景上の型クラスとして層を表現。張り合わせ条件は処理の分岐に対応するので if や case 分岐を伴う tagless-final な EDSL に使えそうか?🤔 前層から層を得る層化に対応する Sheafify と言うデータ構造を定義できるのも面白い tweag.io/blog/2026-06-18-she…
8
1
51
3,741
シボレスで属性情報をeduroam側に渡さないにチェックを入れたら非学生判定されて学生未開放の大学でも使えるハックがあったはず (大学によるかも?
eduroamって学生でも使えると思ってたけど一般にどうなの?
5
1,438
Keigo Imai retweeted
名古屋は地元で強力な電鉄会社やデベロッパーに恵まれなかったのが本当に悔やまれますね。JR東海の稼ぎ頭は新幹線で、本音は東京大阪の大動脈を維持できれば問題ない。トヨタは三河の企業で、稼ぎの大半は海外なので、実は名古屋が沈んでも特段困らない。 名鉄と、せめてもう1社でも切磋琢磨できる私鉄があればまた違ったのでしょうか。あとは中電や東邦ガスなどのインフラ企業が頼みの綱ということになりそうですが… いずれにせよ、東京大阪と比較して、名古屋の発展と運命を共にする民間の地場デベロッパーが相対的に少ないことが今日の状況を招いていることは間違いなさそうです。
なぜ名古屋はこうも民営化が下手なのか。街の未来を担う覚悟と気概を持った地元企業が余りにも少ない。海遊館も開業当初は大阪市が筆頭株主の3セクでしたが、現在は完全に民営化して近鉄が経営しています。もはや数多ある大企業が都市経営に乗り出さぬ限り未来はないのでは。 news.yahoo.co.jp/articles/cf…
29
125
30
738
293,000
Keigo Imai retweeted
形式化thinking など3つの工夫でテストケースレビューの正解率を90%まで上げられました!/ AIベース静的検査器の偽陽性率を抑える工夫3選 speakerdeck.com/orgachem/ai-…
9
1
38
4,855