2022.09.17
https://gyazo.com/50bdaae2d68bf1eded8d52ea0f255d05
（東京）足立区大谷田３丁目付近で不審な言動 ９月１６日夕方
http://nordot.app/943447834693484544?c=134733695793120758
独り言を言い、自転車に乗っているのが目撃された。「エロい、エロい」※足立区立中川小学校
https://twitter.com/fushinsha_joho/status/1570715336416333827
エロ〜イ エロ〜イ エロ〜イ エロ〜イ
前：
2022.09.16
後：
2022.09.18
#日報
いいね
↑
I made Minecraft in Minecraft with redstone!
https://gigazine.net/news/20220916-minecraft-in-minecraft/
やった
The Natural Number Game
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game
Lean
の主に
項書き換え
を使ってひたすら自然数の様々な法則の証明を頑張る
やりやすすぎる
一生項書換えで証明させてください
知った
https://github.com/EnJoeToh/stories_2000
円城塔
観た
カウボーイ・ビバップ 第10話
カウボーイ・ビバップ 第11話
ルミナスウィッチーズ 第10話
良かったね
知った
Saul A. Kripke
が亡くなった
思った
なぜか勝手に
仲谷鳰
の鳰の左側をλだと勘違いしていて いいな〜と思っていた時代があった