symbioticworm
- いいね数 10,192/10,403
- フォロー 215 フォロワー 20 ツイート 22,664
- 現在地 Dominaria
- 自己紹介 備忘録的な用途が主なのでﾅﾙﾄ@投げやフォロー返しは滅多にしない模様。※部族的情動にバイアスされやすく、正しく判断するには熟考性の思考プロセスを必要とするような真剣な話題についてはTwitterでは極力触れません。
Favolog ホーム
» @symbioticworm
» 2016年07月20日
並び順 : 新→古 | 古→新
2016年07月20日(水)
ちなみに、それより重要な疑問として、「もしP(x)なるxが存在すれば、そのxはQ(x)を満たす」が普通の述語論理式に「直訳」できない問題のほうが気になる。「そのx」に対応する表現がないせいだと思うが、ヒルベルトのτ記号でも使えば良い？
タグ：
posted at 02:07:07
禿でこれだけ語るとは（褒めてます） / 他1コメント b.hatena.ne.jp/entry/bylines.... “毛髪の再生医療と来たるべき社会(児玉聡) - 個人 - Yahoo!ニュース” htn.to/cSZe7CmF
タグ：
posted at 10:52:16
コメンテーターに安部司と畝山智香子。この記事を配信するとはAERAやるなあ。 / “「天然＝安心」ではない 添加物を怖がりすぎない 〈AERA〉｜dot.ドット 朝日新聞出版” htn.to/RgA93MXY
タグ：
posted at 13:04:31
ブルーレイは北米盤もフランス盤もドイツ盤もロシア盤も見つからずに諦めてたロシアの傑作猫映画「こねこ」が、9月30日に日本でブルーレイ発売するらしい。事件だ事件。
www.amazon.co.jp/dp/B01I136L8C/
タグ：
posted at 16:35:33
スポンサーリンク
