「ずっと右(左)に行き続けて戻ってこない経路の集合」自体は非空ですよという主張なのだろうと思ったけど、P(ずっと右(左)に行き続けて戻ってこない経路の集合)=0ということ自体を「必ず原点に戻る」というのは間違いではないと思う。ただ、初学者向けならそれらの違いにきちんと注意向けるべき、
Keigo Imai retweeted
線路まで浸水し、大きな話題になっていた千種駅周辺ですが……
今見に来ると、もうかなり水が引いています!
数時間前の映像は何だったんだ😳と思うくらいの回復の速さ。
名古屋の排水・防災インフラの力を改めて感じます。
ただ、電車はまだ動いていないようで、通勤帰りの方が歩いて帰られている姿も多く見かけます。
本当に大変だと思います。
皆さま、どうかお気をつけてお帰りください🙏
Hoare triple cake
おかげさまで proof ninja 創立記念7年周年を迎えました。
千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました!
#HoareLogic #AntonyHoare #ProofNinja
Keigo Imai retweeted
おかげさまで proof ninja 創立記念7年周年を迎えました。
千葉県の #パティスリはぐみ さんにホーアトリプルのケーキを作っていただきました!
#HoareLogic #AntonyHoare #ProofNinja
ocaml.jp/events/ocaml_meetin…
OCaml Meeting 2026 in Tokyo のサマリを掲載しました
参加者の方にはメールで事後アンケートも送っているので、回答いただけると次の開催に繋がるかもしれません
#OCamlMeeting
Keigo Imai retweeted
OCaml Meeting 2026 in Tokyoにご参加いただいた皆さま、本当にありがとうございました。
定員を超えるほど多くの方にお越しいただき、世界各地で活躍するトップクラスの方々を交えながら、アカデミックな議論から実際の産業での活用まで、非常に幅広いテーマを議論する場になりました。
これだけの方々がOCamlを軸に集まり、直接議論し、つながる場をつくれたことを、とても嬉しく思っています。
OCaml Meeting 2026 in Tokyo 開催中🐪
日本のOCamlコミュニティによる13年ぶりの勉強会を、DeNA渋谷オフィスにて開催しています。国内外のスピーカーによるセッション・LTが行われています。
ocamljp.connpass.com/event/3…
#OCamlMeeting
Keigo Imai retweeted
OCaml Meeting 2026 in Tokyo 開催中🐪
日本のOCamlコミュニティによる13年ぶりの勉強会を、DeNA渋谷オフィスにて開催しています。国内外のスピーカーによるセッション・LTが行われています。
ocamljp.connpass.com/event/3…
#OCamlMeeting
Keigo Imai retweeted
推論を共有する人々は、推論の遠回りとしてお互いの結論を参照し合う。
それは根拠から結論への一本道へと直せる(正規化可能性)。
そうやって社会的に知識を共有し、いつかは星に手が届く。
🤖 Made with AI
Replying to @ytb_at_twt
今週の #京大論理学授業 は第13回「走って、止まって、積み上がる」。
論理の条件「ハーモニー」が、計算体系として見たとき何に対応するかを見ます。
・反転原理:計算が「走る」
・証明の正規化可能性:計算が必ず「止まる」
・保存拡大性:知識が社会に「積み上がる」
speakerdeck.com/yatabe/2026q…
Keigo Imai retweeted
名古屋は地元で強力な電鉄会社やデベロッパーに恵まれなかったのが本当に悔やまれますね。JR東海の稼ぎ頭は新幹線で、本音は東京大阪の大動脈を維持できれば問題ない。トヨタは三河の企業で、稼ぎの大半は海外なので、実は名古屋が沈んでも特段困らない。
名鉄と、せめてもう1社でも切磋琢磨できる私鉄があればまた違ったのでしょうか。あとは中電や東邦ガスなどのインフラ企業が頼みの綱ということになりそうですが…
いずれにせよ、東京大阪と比較して、名古屋の発展と運命を共にする民間の地場デベロッパーが相対的に少ないことが今日の状況を招いていることは間違いなさそうです。
なぜ名古屋はこうも民営化が下手なのか。街の未来を担う覚悟と気概を持った地元企業が余りにも少ない。海遊館も開業当初は大阪市が筆頭株主の3セクでしたが、現在は完全に民営化して近鉄が経営しています。もはや数多ある大企業が都市経営に乗り出さぬ限り未来はないのでは。
news.yahoo.co.jp/articles/cf…
Keigo Imai retweeted
Haskell meetup: meetup.com/tokyo-haskell-mee…
Tue 19 May 2026, 18:20, at Kanda Sudacho (not far from NII, venue of the FM 2026 conference conf.researchr.org/home/fm-2…)
Keigo Imai retweeted
形式化thinking など3つの工夫でテストケースレビューの正解率を90%まで上げられました!/ AIベース静的検査器の偽陽性率を抑える工夫3選 speakerdeck.com/orgachem/ai-…
Keigo Imai retweeted
OCaml Meeting 2026 in Tokyo に参加を申し込みました! ocamljp.connpass.com/event/3… #OCamlMeeting






























