RT @Kurahashi16: 数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

RT @kururu_goedel: なんか昔、『数学』に書いたClub guessingについてのサーベイがフリーでダウンロードできるようになってるな。よろしかったらどうぞ。そんなには古くなってないと思います。 https://t.co/So50PL2xlR

J-STAGE Articles - The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 https://t.co/sdT6qCd9fb

J-STAGE Articles - Club guessing sequenceについて https://t.co/YO52ERG9CE

RT @tadamago: @Hal_Tasaki ご参考までに；それに類する問題を証明論で分析した研究があります： https://t.co/GT9vqfUzfs

RT @tri_iro: 選挙の投票の問題点に数学者の力を借りようとかいう感じのRTが流れてたけど、そういうのが集合論の人の目に留まると、人口が巨大基数人いる国とかを想定しだすので注意しよう！　例： 投票ゲームと可測基数 https://t.co/SIauklfP

RT @kururu_goedel: https://t.co/1KvWw9yHjg を書いたときも、PCFがもっと知られるといいなというのは目的の一つだったのだけども、バズりませんでした。

RT @mat_der_D: CiNii 論文 -  可分Banach空間はコンパクトである https://t.co/yYbE9BmR2t #CiNii

RT @sinya8282: 拙著サーベイ論文「オートマトン理論再考」が今日付けでJSTAGEに公開されました！ どなたでもアクセスできると思いますので，ぜひぜひ読んでみてください． https://t.co/5WHN1lbyYY

RT @korigitsune: CiNii 論文 -  ブラジャー着用時と非着用時の運動中の乳房振動特性 http://t.co/ZP7AEQ1gI5 #CiNii　人間工学すごい（小並感）

数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

なんか昔、『数学』に書いたClub guessingについてのサーベイがフリーでダウンロードできるようになってるな。よろしかったらどうぞ。そんなには古くなってないと思います。 https://t.co/So50PL2xlR

帽子パズルと証明論を絡めた結果 たしかに帽子当てパズルではあるけれど、ガードナーオリジナルに近い設定だー https://t.co/JdX9yUgJxX

https://t.co/BTsHkmKG8w "本研究では，飲酒の効果を活用することによって，質の高い情報を提示する手段を提案する．3.2 節で示すように，適度な飲酒には，創造性を高める効果があることが知られている．"

型整合（well-typed），整形式（well-formed），整礎（well-founded）等からの類推だと，整定義か？ と思って検索したら佐々先生が使用した例を発見 https://t.co/tXv3QuoHAM https://t.co/PWYPyKeQKh

基礎論サマースクールで .@yasuda_614_set 君にオートマトン理論再考を駒場で口コミで広めてもらうようお願いした． https://t.co/5WHN1lbyYY

https://t.co/1KvWw9yHjg を書いたときも、PCFがもっと知られるといいなというのは目的の一つだったのだけども、バズりませんでした。

CiNii 論文 -  可分Banach空間はコンパクトである https://t.co/yYbE9BmR2t #CiNii

これ（PDF: https://t.co/cDtH4ykCvb）って手書きかな。手書きだとしたら、難波先生めっちゃ字がきれいだな。

CiNii 論文 -  ブラジャー着用時と非着用時の運動中の乳房振動特性 http://t.co/ZP7AEQ1gI5 #CiNii　人間工学すごい（小並感）

選挙の投票の問題点に数学者の力を借りようとかいう感じのRTが流れてたけど、そういうのが集合論の人の目に留まると、人口が巨大基数人いる国とかを想定しだすので注意しよう！　例： 投票ゲームと可測基数 https://t.co/SIauklfP