H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika
Research interests: Theoretical Computer Science, Category Theory, Mathematical Logic, Philosophy of Computation.
-
深夜に津田大介氏が、つんく氏、坂本龍一氏、小室哲哉氏と立て続けにやりとりする
56178pv 618 305 users -
学振(特別研究員)に申請
42595pv 37 7 users 1
-
マイナス水素イオン(によるまぬけ時空)発生装置について
22244pv 211 28 users 14 -
Google 日本語入力 TechTalk 2010 まとめ
8702pv 13 6 users -
JST理事長北澤先生の戦略創造研究についてのツイートまとめ
5132pv 41 17 users 1 -
菊地誠と東浩紀とソーカルと
36576pv 171 95 users 2 -
日本の大学の「非常勤」をカナダの非常勤と比較して。
9510pv 156 10 users 7 -
実験・思考実験・実験の哲学・実験哲学
9551pv 26 9 users 1 -
千葉雅也さんによる詩のすすめ
8559pv 3 1 user -
今夕のtlの盛り上がりの記録(詩?WEB?笑い?)
3349pv 12 1 user 2 -
propara(若島正)さんの「20代のときに読んだ記憶に残るアメリカ小説15冊」
11703pv 47 25 users -
Agda2におけるPropとSet0の違い
2246pv 3 users -
法学は科学たりえるか/科学の反証可能性
29965pv 82 48 users -
関数型言語でのデザイン手法
31921pv 102 110 users 10 -
自然言語処理・機械学習・帰納推論
5467pv 8 8 users -
ICFP 2010 実況など
8510pv 4 11 users