(博士課程で)足掻(くア)ライさん
@K9MmU7qClO9irZ3
博士課程に進んだはいいが、孤独感に押しつぶされそうなのだ…… けもフレ3は研究で疲れた心を癒してくれるのだ アガライさんと呼んでほしいのだ 時々コンピューターサイエンスのお話をするのだ ↓にまとめてるのだ
min.togetter.com/T0ysRAF

ようこそCSパークへ
コンピューターサイエンスのお話なのだ
1. 停止問題
2. P≠NP予想
3. ラッセルのパラドックス
4. ゲーデルの第一不完全性定理
5. 二人の将軍問題
6. コルモゴロフ複雑性
7. ディフィー・ヘルマン鍵交換
8. 対角線論法
9. 決定性有限オートマトン
