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