会話デッキ
参考リンク
無難な話題
好きな食べ物
地元や出身地
天気
趣味、休日の過ごし方
好きな YouTuber の話
テレビやドラマ
最近のニュース
共通の友達
仕事について
過去や現在の彼氏彼女
過去のやらかした失敗談
最近面白かった話
可愛い動物の動画
お互いの第一印象
学生時代や幼少期の話
〇〇と△△どっち派?
失敗談
山で山道に戻れなくなった話
皇居一周オール
京都奈良オール
歴史系
キング牧師
どのように非暴力非服従で差別と戦ったのか
第一次世界大戦
初めての総力戦
どうして戦死者が多くなったのか
ミサイル防衛と仏像
カトリックとプロテスタント
孔子の生涯
仏教、キリスト教、イスラム教の始まり
三蔵法師
スパルタ
吉田松陰
哲学
我思う故に我あり、から始まる現象学
2000年前からの仏教
唯識
ピラミッドなんてないし、自分もない
石の集まり
動物の視点
元素の集まり
ソシュール
「自分」に囚われるから苦しむ
本当の実体は認識できず証明できない
認識次第である
五感を通して像を感じ、それに心が色付けを行っている
心の曇りを無くし、あるがままのもの(真如)を見る
密教
ヨガ(表層を落ち着かせ、深層を見れるようにする)
「自分」「地位」などの「あるようでないもの」に振り回されなくなる
縁起の理が見えてくる
「AあればBあり、AなければBなし」という理
物理などにも通じる
観測者
シュレディンガーの猫
実体はなく関係だけがあるのみ
最近の曲
PEACH
Rage Against the Machine
プログラム
モデル化
どの特徴をどうモデル化するかが設計の肝
CS では"コンピュータ自体"をモデル化することで、コンピュータに何ができるか、できないかを検証、証明したりする
チューリングマシン etc..,
コードはデータである。単なる文字列でしかないし、文字列は数値に変換できる
すべてのRubyプログラムは一意な番号に対応するため、考え得るすべてのプログラムを自動生成することができます。番号1というプログラムから始めて、番号2、番号3と順にプログラムを生成していけばよいのです。これをずっと続けていけば、最終的に次世代のホットな非同期Web開発フレームワークが生成でき、リタイアしてのんびりとした生活が送れるようになるでしょう。
by アンダースタンディング・コンピューテーション
本当に怖い無限ループ
止まらなくて怖いなんて話に収まらない
自己参照ができるのが証明されてる
クリーネの再帰定理
無限ループは必ず起こせる(チューリング完全であれば)
停止性問題は解けない
仮に停止性問題を解けるプログラムがあった場合「自身が停止するならば無限ループに陥って停止せず、停止しないならば停止する」コードを書いた時に矛盾する
自身を「停止する」とした場合、その後無限ループになるので矛盾
自身を「停止しない」とした場合、その後停止するので矛盾
つまり事前に停止するかを判定することは不可能
「このプログラムは望むことをしているか」は判定不可能(自明な場合を除く)
ライスの定理
無限ループしたら判定できないし、無限ループするかどうかを事前に知ることもできない
ちゃんと理解できてる気がしない
無限ループができない言語
チューリング完全ではなくなる
目指せインテリヤクザ