６さいカンファレンス #6saiconf 第２回目「数学の定理を自動で発見するAI を Haskellで作ろう！」 9/13 21:00～22:30 過去ログ

gistfile1.txt

[12/09/13 20:32:38] くいなちゃん が 風兎 を会話に追加しました
[12/09/13 20:32:41] くいなちゃん が cat_mask を会話に追加しました
[12/09/13 20:32:43] くいなちゃん が shindex00 を会話に追加しました
[12/09/13 20:32:52] くいなちゃん が minto-ziru を会話に追加しました
[12/09/13 20:32:54] くいなちゃん が moriken-www を会話に追加しました
[12/09/13 20:32:57] くいなちゃん が saga_tokiha を会話に追加しました
[12/09/13 20:32:58] くいなちゃん が daisukeegg を会話に追加しました
[12/09/13 20:33:05] くいなちゃん が i6snld を会話に追加しました
[12/09/13 20:33:06] くいなちゃん が nonamea774 を会話に追加しました
[12/09/13 20:33:10] くいなちゃん が machiningcenter を会話に追加しました
[12/09/13 20:33:15] くいなちゃん が taiyok123 を会話に追加しました
[12/09/13 20:33:17] くいなちゃん が syaukkaii を会話に追加しました
[12/09/13 20:33:19] くいなちゃん が shaiyan58 を会話に追加しました
[12/09/13 20:33:21] くいなちゃん が b.sarena002 を会話に追加しました
[12/09/13 20:33:23] くいなちゃん が twi_lock を会話に追加しました
[12/09/13 20:33:25] くいなちゃん が regestry1 を会話に追加しました
[12/09/13 20:33:26] くいなちゃん が noqisofon を会話に追加しました
[12/09/13 20:33:28] くいなちゃん が ridanlue を会話に追加しました
[12/09/13 20:33:30] くいなちゃん が reinforchu を会話に追加しました
[12/09/13 20:33:31] くいなちゃん が takayukib を会話に追加しました
[12/09/13 20:33:33] くいなちゃん が morrey22 を会話に追加しました
[12/09/13 20:33:35] くいなちゃん が yukkuribemani を会話に追加しました
[12/09/13 20:33:36] くいなちゃん が mukiryokusyouzyoy を会話に追加しました
[12/09/13 20:33:37] くいなちゃん が yuhi_as を会話に追加しました
[12/09/13 20:33:39] くいなちゃん が yutopp10 を会話に追加しました
[12/09/13 20:33:41] くいなちゃん が yossi を会話に追加しました
[12/09/13 20:33:42] くいなちゃん が ikasama_m を会話に追加しました
[12/09/13 20:33:44] くいなちゃん が masato0726 を会話に追加しました
[12/09/13 20:33:45] くいなちゃん が tajas. を会話に追加しました
[12/09/13 20:33:47] くいなちゃん が h_mrok を会話に追加しました
[12/09/13 20:33:49] くいなちゃん が solari-s を会話に追加しました
[12/09/13 20:33:51] くいなちゃん が horuhure を会話に追加しました
[12/09/13 20:33:53] くいなちゃん が p_ck__ を会話に追加しました
[12/09/13 20:33:55] くいなちゃん が xtarurux を会話に追加しました
[12/09/13 20:33:57] くいなちゃん が kyoutyann3 を会話に追加しました
[12/09/13 20:33:59] くいなちゃん が nabewata811 を会話に追加しました
[12/09/13 20:34:00] くいなちゃん が とぐまりさ を会話に追加しました
[12/09/13 20:34:02] くいなちゃん が てろ を会話に追加しました
[12/09/13 20:34:04] くいなちゃん が つな を会話に追加しました
[12/09/13 20:34:06] くいなちゃん が たけ を会話に追加しました
[12/09/13 20:34:08] くいなちゃん が oers7756 を会話に追加しました
[12/09/13 20:34:10] くいなちゃん が たかし を会話に追加しました
[12/09/13 20:34:12] くいなちゃん が su-----478 を会話に追加しました
[12/09/13 20:34:13] くいなちゃん が itokatsuya を会話に追加しました
[12/09/13 20:34:17] くいなちゃん が しょぼっち を会話に追加しました
[12/09/13 20:34:19] くいなちゃん が しゅがるん を会話に追加しました
[12/09/13 20:34:23] くいなちゃん が シュガッター@寮 を会話に追加しました
[12/09/13 20:34:25] くいなちゃん が しとりー を会話に追加しました
[12/09/13 20:34:26] くいなちゃん が さのぴー を会話に追加しました
[12/09/13 20:34:28] くいなちゃん が こんただお(´・ω・`) を会話に追加しました
[12/09/13 20:34:30] くいなちゃん が ころ を会話に追加しました
[12/09/13 20:34:32] くいなちゃん が こむぎ娘 を会話に追加しました
[12/09/13 20:34:34] くいなちゃん が ryu10103 を会話に追加しました
[12/09/13 20:34:36] くいなちゃん が くろいの を会話に追加しました
[12/09/13 20:34:38] くいなちゃん が cainekanak を会話に追加しました
[12/09/13 20:34:40] くいなちゃん が headbomb4545 を会話に追加しました
[12/09/13 20:34:41] くいなちゃん が おじ を会話に追加しました
[12/09/13 20:34:43] くいなちゃん が えんくん を会話に追加しました
[12/09/13 20:34:52] くいなちゃん が ftexvt を会話に追加しました
[12/09/13 20:34:54] くいなちゃん が koikumu を会話に追加しました
[12/09/13 20:34:56] くいなちゃん が zonu_h/f/ts を会話に追加しました
[12/09/13 20:34:58] くいなちゃん が woynok を会話に追加しました
[12/09/13 20:35:03] くいなちゃん が yukix7 を会話に追加しました
[12/09/13 20:35:14] くいなちゃん が yama を会話に追加しました
[12/09/13 20:35:20] くいなちゃん が www@情弱 を会話に追加しました
[12/09/13 20:35:24] くいなちゃん が WizFox を会話に追加しました
[12/09/13 20:35:25] くいなちゃん が Tatt を会話に追加しました
[12/09/13 20:35:27] くいなちゃん が susyparticle を会話に追加しました
[12/09/13 20:35:32] くいなちゃん が shogo を会話に追加しました
[12/09/13 20:35:35] くいなちゃん が aki-kasumi を会話に追加しました
[12/09/13 20:35:38] くいなちゃん が SATOH, Koichi (非実在 6 さい) を会話に追加しました
[12/09/13 20:35:40] くいなちゃん が sato saka を会話に追加しました
[12/09/13 20:35:42] くいなちゃん が SAOLIN を会話に追加しました
[12/09/13 20:35:43] くいなちゃん が unplugged365 を会話に追加しました
[12/09/13 20:35:45] くいなちゃん が sakemubi を会話に追加しました
[12/09/13 20:35:47] くいなちゃん が sutesun を会話に追加しました
[12/09/13 20:35:49] くいなちゃん が pinemukuro を会話に追加しました
[12/09/13 20:35:51] くいなちゃん が kotatsu_mikan を会話に追加しました
[12/09/13 20:35:55] くいなちゃん が Numeric を会話に追加しました
[12/09/13 20:35:57] くいなちゃん が mathemiyatics を会話に追加しました
[12/09/13 20:36:00] くいなちゃん が noiratsu を会話に追加しました
[12/09/13 20:36:02] くいなちゃん が nash716 を会話に追加しました
[12/09/13 20:36:04] くいなちゃん が hinome.tsukinome を会話に追加しました
[12/09/13 20:36:06] くいなちゃん が meokz_ を会話に追加しました
[12/09/13 20:36:08] くいなちゃん が hogeover30 を会話に追加しました
[12/09/13 20:36:10] くいなちゃん が LYNX を会話に追加しました
[12/09/13 20:36:13] くいなちゃん が Lay を会話に追加しました
[12/09/13 20:36:15] くいなちゃん が kozolang を会話に追加しました
[12/09/13 20:36:17] くいなちゃん が KITADAI, Yukinori (Nyoho) を会話に追加しました
[12/09/13 20:36:18] くいなちゃん が kikko を会話に追加しました
[12/09/13 20:36:20] くいなちゃん が kawada nobuhiro を会話に追加しました
[12/09/13 20:36:23] くいなちゃん が kaitoy31 を会話に追加しました
[12/09/13 20:36:26] くいなちゃん が jumpeii.net を会話に追加しました
[12/09/13 20:36:28] くいなちゃん が jane8393 を会話に追加しました
[12/09/13 20:36:31] くいなちゃん が gisi_spica を会話に追加しました
[12/09/13 20:36:34] くいなちゃん が ｄｍｓ を会話に追加しました
[12/09/13 20:36:36] くいなちゃん が d-kami を会話に追加しました
[12/09/13 20:36:39] くいなちゃん が d_rascal を会話に追加しました
[12/09/13 20:36:42] くいなちゃん が minyamuu を会話に追加しました
[12/09/13 20:36:45] くいなちゃん が chucky_0 を会話に追加しました
[12/09/13 20:36:47] くいなちゃん が C+C@blueapplex を会話に追加しました
[12/09/13 20:36:49] くいなちゃん が BeepCap を会話に追加しました
[12/09/13 20:36:51] くいなちゃん が tomokiyamaguchi0215 を会話に追加しました
[12/09/13 20:36:52] くいなちゃん が bonprosoft を会話に追加しました
[12/09/13 20:36:54] くいなちゃん が (♡獅ฅŏㅂŏฅ)(๑•ิ﹏•ั๑子♡) を会話に追加しました
[12/09/13 20:36:59] くいなちゃん が tooms32 を会話に追加しました
[12/09/13 20:37:03] くいなちゃん が kagehaq を会話に追加しました
[12/09/13 20:37:04] くいなちゃん が swallow_tubame を会話に追加しました
[12/09/13 20:37:06] くいなちゃん が kusyanaxx1 を会話に追加しました
[12/09/13 20:37:09] くいなちゃん が cllightz を会話に追加しました
[12/09/13 20:37:10] くいなちゃん が kurisaka_konabe を会話に追加しました
[12/09/13 20:37:12] くいなちゃん が tsukiyo_rosette を会話に追加しました
[12/09/13 20:37:15] くいなちゃん が basshi-13 を会話に追加しました
[12/09/13 20:37:18] くいなちゃん が nullkal を会話に追加しました
[12/09/13 20:37:19] くいなちゃん が rheniumk を会話に追加しました
[12/09/13 20:37:20] くいなちゃん が rickytheta を会話に追加しました
[12/09/13 20:37:22] くいなちゃん が magical1130 を会話に追加しました
[12/09/13 20:37:24] くいなちゃん が momontyo を会話に追加しました
[12/09/13 20:37:25] くいなちゃん が めいとら を会話に追加しました
[12/09/13 20:37:27] くいなちゃん が darkmare73 を会話に追加しました
[12/09/13 20:37:28] くいなちゃん が sisyamo_9 を会話に追加しました
[12/09/13 20:37:30] くいなちゃん が myuon_myon を会話に追加しました
[12/09/13 20:37:32] くいなちゃん が kotatsulove を会話に追加しました
[12/09/13 20:37:34] くいなちゃん が osamusanex を会話に追加しました
[12/09/13 20:37:35] くいなちゃん が ふたん を会話に追加しました
[12/09/13 20:37:37] くいなちゃん が ブー を会話に追加しました
[12/09/13 20:37:38] くいなちゃん が はむぱい を会話に追加しました
[12/09/13 20:37:40] くいなちゃん が なんこつちゃん を会話に追加しました
[12/09/13 20:37:41] くいなちゃん が ナムアニクラウド を会話に追加しました
[12/09/13 20:37:43] くいなちゃん が っきん を会話に追加しました
[12/09/13 20:37:47] くいなちゃん が たい@本体は後ろのｻｶﾅ を会話に追加しました
[12/09/13 20:37:48] くいなちゃん が そすう を会話に追加しました
[12/09/13 20:37:50] くいなちゃん が シャロル を会話に追加しました
[12/09/13 20:37:51] くいなちゃん が orn_tk を会話に追加しました
[12/09/13 20:37:53] くいなちゃん が climpet を会話に追加しました
[12/09/13 20:37:55] くいなちゃん が cookies479 を会話に追加しました
[12/09/13 20:37:56] くいなちゃん が きょんたん を会話に追加しました
[12/09/13 20:37:57] くいなちゃん が kan33524 を会話に追加しました
[12/09/13 20:37:59] くいなちゃん が キテレツ (@_kiteretsu) を会話に追加しました
[12/09/13 20:38:00] くいなちゃん が Rain＠がお を会話に追加しました
[12/09/13 20:38:02] くいなちゃん が おめが を会話に追加しました
[12/09/13 20:38:03] くいなちゃん が e141b1c1 を会話に追加しました
[12/09/13 20:38:04] くいなちゃん が yakumo を会話に追加しました
[12/09/13 20:38:06] くいなちゃん が y. を会話に追加しました
[12/09/13 20:38:08] くいなちゃん が GMオーエン を会話に追加しました
[12/09/13 20:38:09] くいなちゃん が srb0004 を会話に追加しました
[12/09/13 20:38:11] くいなちゃん が Skype表示名 <らいな> を会話に追加しました
[12/09/13 20:38:12] くいなちゃん が Silica を会話に追加しました
[12/09/13 20:38:14] くいなちゃん が shinran611 を会話に追加しました
[12/09/13 20:38:16] くいなちゃん が riou を会話に追加しました
[12/09/13 20:38:17] くいなちゃん が PIANO を会話に追加しました
[12/09/13 20:38:19] くいなちゃん が ngtk00 を会話に追加しました
[12/09/13 20:38:20] くいなちゃん が nanagi を会話に追加しました
[12/09/13 20:38:22] くいなちゃん が N@N を会話に追加しました
[12/09/13 20:38:24] くいなちゃん が morris_555 を会話に追加しました
[12/09/13 20:38:25] くいなちゃん が MoNoQLoREATOR を会話に追加しました
[12/09/13 20:38:27] くいなちゃん が Kyos を会話に追加しました
[12/09/13 20:38:28] くいなちゃん が Kshow を会話に追加しました
[12/09/13 20:38:30] くいなちゃん が Ken Moriyama を会話に追加しました
[12/09/13 20:38:33] くいなちゃん が hnakai0909 を会話に追加しました
[12/09/13 20:38:35] くいなちゃん が fumieval を会話に追加しました
[12/09/13 20:38:37] くいなちゃん が Echo / Sound Test Service を会話に追加しました
[12/09/13 20:38:39] くいなちゃん が DESTEL を会話に追加しました
[12/09/13 20:38:41] くいなちゃん が t.hayamizu を会話に追加しました
[12/09/13 20:38:43] くいなちゃん が cherome を会話に追加しました
[12/09/13 20:38:45] くいなちゃん が Azuuuuuuus を会話に追加しました
[12/09/13 20:38:46] くいなちゃん が atpons を会話に追加しました
[12/09/13 20:38:48] くいなちゃん が Aruneko を会話に追加しました
[12/09/13 20:38:52] くいなちゃん が Araki Hiromu を会話に追加しました
[12/09/13 20:38:54] くいなちゃん が ameri1341 を会話に追加しました
[12/09/13 20:38:55] くいなちゃん が Akira / ka_e を会話に追加しました
[12/09/13 20:38:57] くいなちゃん が a4lg を会話に追加しました
[12/09/13 20:38:58] くいなちゃん が [KoB]Akaiinu を会話に追加しました
[12/09/13 20:39:00] くいなちゃん が @ilozsys(元@arukuNinjin) を会話に追加しました
[12/09/13 20:41:27] くいなちゃん: 第２回目　６さいカンファレンス　9/13 21:00～22:30
「数学の定理を自動で発見するAI を Haskellで作ろう！」
不参加の方は、今のうちにご退場をお願いします。
ROMでの参加も歓迎ですん☆
#6saiconf
[12/09/13 20:44:03] climpet: ついに始まってしまうのですね
[12/09/13 20:44:28] monoqloreator: こんばんわー！
[12/09/13 20:44:40] ilozsys: こんばんはー
[12/09/13 20:44:52] monoqloreator: あ、今回は1時間半なんですね。
[12/09/13 20:45:07] linanfine: 恐怖の6才conf
[12/09/13 20:45:29] kshow_xy: こんばんわ
[12/09/13 20:47:18] yakumo: こんばんは
[12/09/13 20:47:37] tjam3142725: こんばんはー
[12/09/13 20:49:35] ryoyameka: こんばんはー
[12/09/13 20:49:42] めいとら: 召喚された。こんばんはー
[12/09/13 20:49:49] めいとら: 今日は何人の死者がでるのかなあ？
[12/09/13 20:49:50] moriken-www: こんばんはー
[12/09/13 20:50:06] schwanken: こんばんは。本日も #6saiconf に籠ります
[12/09/13 20:50:20] spark6251: 第二回の開催だーーーーー（ﾄﾞｺﾄﾞｺﾄﾞｺﾄﾞｺ（こんばんは
[12/09/13 20:50:59] swallow_tubame: ﾄﾞｺﾄﾞｺﾄﾞｺﾄﾞｺ(日本語訳:こんばんは
[12/09/13 20:51:11] morris_555: こんばんはー
[12/09/13 20:51:25] amartya_3178: おはよー。今日も鉛筆祭りか
[12/09/13 20:51:50] mukiryokusyouzyoy: 今夜も楽しみです♪
[12/09/13 20:52:01] dtm.music.producer: 来たかｗ
[12/09/13 20:52:07] climpet: 何か用意しておくべき処理系等はありますか？
[12/09/13 20:55:20] rickytheta: こんばんはー
[12/09/13 20:55:36] gisi_spica: gisi_spica が会話を退席しました
[12/09/13 20:55:36] rickytheta: 今回はHaskellですかー
[12/09/13 20:55:49] tai-45: ε(  ε^o^)эこんばんは〜
[12/09/13 20:55:53] e141b1c1: ghcでいいのかな?
[12/09/13 20:55:58] d_rascal: (/ω・＼)ﾁﾗｯ
[12/09/13 20:56:20] srb0004: こんばんはです
[12/09/13 20:56:30] a4lg_vm: Hi
[12/09/13 20:56:33] jane8393: こんばんはー
[12/09/13 20:56:42] ww24sk: こんばんはー　今、外に居るので後でログ追います
[12/09/13 20:56:43] fumiexcel: そろそろか
[12/09/13 20:56:51] めいとら: Haskell……略してHell
[12/09/13 20:56:55] dtm.music.producer: My ghci is ready.
[12/09/13 20:56:56] swallow_tubame: くるぞ…(ｺﾞｸﾘ
[12/09/13 20:57:07] jane8393: ghc一応用意したけどHaskell一度も触ったことがないｗ
[12/09/13 20:57:29] kiteretsu_fla: WinGHCiってのでいいの？
[12/09/13 20:57:30] e141b1c1: Haskellが何かすら分からない
[12/09/13 20:57:32] めいとら: ……Haskellってなんだ？
[12/09/13 20:57:34] atpons: ( Haskell ダウンロードしようとしたらなんかすごく時間かかる… )
[12/09/13 20:57:52] めいとら: ダウンロードに時間がかかるのはほぼ間違いなくこのカンファレンスのせい
[12/09/13 20:57:57] fumiexcel: Haskell Platform http://hackage.haskell.org/platform/
[12/09/13 20:58:00] yakumo: Haskellは最近ちょっと勉強してるけど全然だからなあ
[12/09/13 20:58:10] kurisaka_konabe: 涙を拭くタオルを準備
[12/09/13 20:58:29] swallow_tubame: 今日はおまじないどれくらいでるだろうか…
[12/09/13 20:59:45] linanfine: 楽しみすぎる
[12/09/13 21:00:04] くいなちゃん: -----------------------WELCOME TO HELL!!-----------------------
[12/09/13 21:00:15] rickytheta: うわああああああああああ
[12/09/13 21:00:15] linanfine: なんだってええええええ
[12/09/13 21:00:16] くいなちゃん: (*)(*)(*)みなさん、こんばんわー(*)(*)(*)
[12/09/13 21:00:22] めいとら: こんばにゃ☆
[12/09/13 21:00:22] a4lg_vm: ｷﾟｬｰ
[12/09/13 21:00:26] fumiexcel: ヘーイ
[12/09/13 21:00:27] a4lg_vm: こんばんわー
[12/09/13 21:00:29] jane8393: Haskell PlatformはUbuntuでも依存ライブラリがひどいことに
[12/09/13 21:00:29] wai_dotto: こんばんはー
[12/09/13 21:00:31] ilozsys: こんばんはー
[12/09/13 21:00:31] yakumo: こんばんは
[12/09/13 21:00:31] linanfine: こんばんはー
[12/09/13 21:00:35] jane8393: こんばんはー
[12/09/13 21:00:35] kshow_xy: こんばんは
[12/09/13 21:00:41] lay_ec: こんばんはー
[12/09/13 21:00:42] くいなちゃん が なぜ前向きに生きていかなくちゃならないんだ を会話に追加しました
[12/09/13 21:00:44] e141b1c1: HELL (泣)
[12/09/13 21:00:44] ryoyameka: こんばんはー
[12/09/13 21:00:56] d_rascal: haskellってintelの新しいCPUでしょ？らすかる知ってる！！
[12/09/13 21:01:04] a4lg_vm: それは Haswell
[12/09/13 21:01:20] schwanken: こんばんは
[12/09/13 21:01:27] rickytheta: こんばんはー
[12/09/13 21:01:27] charolles64: こんばんはー
[12/09/13 21:01:39] hnakai0909: 鉛筆が踊っておるｗｗ
[12/09/13 21:01:42] d_rascal: こんばんはー
[12/09/13 21:01:48] くいなちゃん: (*)(*)(*)第２回目　６さいカンファレンスを開始します。　テーマは、「数学の定理を自動で発見するAI を Haskellで作ろう！」ですん☆　不参加の方は、いまのうちにご退場をお願いします。　ROMでの参加も歓迎ですん！　 (*)(*)(*)
[12/09/13 21:02:07] anohinitikau: 参加できた！やった！
[12/09/13 21:02:33] tsukiyo_rosette: tsukiyo_rosette が会話を退席しました
[12/09/13 21:02:51] kshow_xy: 定理の自動発見…(；ﾟдﾟ)ｺﾞｸﾘ…
[12/09/13 21:02:58] くいなちゃん: (*)(*)(*)今回、かなり上級者向けのテーマになってしまいました。　が、初心者の方にもわかるように配慮するつもりですのでご安心ください！[要出典](*)(*)(*)
[12/09/13 21:03:03] hnakai0909: 174人来てる
[12/09/13 21:03:09] fumiexcel: 初心者(意味深)
[12/09/13 21:03:11] a4lg_vm: [要出典]…ｺﾞｸﾘ
[12/09/13 21:03:13] rickytheta: おう・・・
[12/09/13 21:03:26] d_rascal: ふぇぇ…
[12/09/13 21:03:28] くいなちゃん: (*)(*)(*)今回のみなさんの反応によって、来週開催するかどうかが決まります。　がんばりましょう＞＜(*)(*)(*)
[12/09/13 21:03:30] linanfine: ふえぇ・・・
[12/09/13 21:03:42] kshow_xy: ＞＜
[12/09/13 21:03:45] dtm.music.producer: Come on!
[12/09/13 21:03:47] moriken-www: .＞＜
[12/09/13 21:03:48] charolles64: こわい…
[12/09/13 21:03:48] jane8393: [要出典]を見たときはたいていろくでもないことが起こる((((；ﾟДﾟ))))ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ
[12/09/13 21:03:51] spark6251: な、なんだってー
[12/09/13 21:04:02] rickytheta: ６さいカンファレンスルール：くいなちゃんの思惑通りの反応をさせたら来週も続く
[12/09/13 21:04:12] jane8393: それだ
[12/09/13 21:04:47] くいなちゃん: (*)(*)(*)それでは、まず、数学の「定理」　とは何か、について説明したいと思います。　みなさん、日常的に「定理」という言葉を使っていると思いますが、「定理」とは何か、説明できますか(*)(*)(*)
[12/09/13 21:05:08] めいとら: 無理でーす！
[12/09/13 21:05:30] めいとら: そもそも日常的に使ってません！
[12/09/13 21:05:36] めいとら: せいぜいピカルの定理ぐらいです
[12/09/13 21:05:38] fumiexcel: 公理と推論規則によって得られる命題
[12/09/13 21:05:43] moriken-www: 「定義から導き出された事柄」っていう感じです？
[12/09/13 21:05:43] schwanken: ある仮定の下で成り立つ事実
[12/09/13 21:05:44] くいなちゃん: (*)(*)(*)「教科書に載っている公式が、定理だ！」　と思うかもしれませんね。　確かに、教科書にも定理は載っています。(*)(*)(*)
[12/09/13 21:06:04] jane8393: 大抵の場合何らかの証明が可能な命題・・・でよかったっけ
[12/09/13 21:06:20] くいなちゃん: (*)(*)(*)では、曖昧な理解の方のために、厳密かつ ゆるふわに説明しましょう。(*)(*)(*)
[12/09/13 21:06:26] kiteretsu_fla: 三平方の定理とかピタゴラスの定理とか
[12/09/13 21:06:30] hnakai0909: ゆるふわ...
[12/09/13 21:06:31] rickytheta: ゆるふわー
[12/09/13 21:06:40] kiteretsu_fla: ゆるふわー
[12/09/13 21:06:43] くいなちゃん: くいなちゃん はこの会話から SATOH, Koichi (非実在 6 さい) を追放しました
[12/09/13 21:06:46] くいなちゃん が SATOH, Koichi (非実在 6 さい) を会話に追加しました
[12/09/13 21:07:21] xtarurux: テスト前だけど来ちゃいました(｡･ω･｡)
[12/09/13 21:07:40] riou2000: 私もテスト前ですが
[12/09/13 21:07:50] くいなちゃん: (*)(*)(*)定理とは、次のように定義できます。　　１．公理であるならば、定理である。　　２．定理を推論規則によって推論したものは、定理である。　　以上。(*)(*)(*)
[12/09/13 21:08:26] rickytheta: ゆるふわ・・・
[12/09/13 21:08:27] めいとら: 公理が分からなかったら、もうどうしようもないんですね、わかります！
[12/09/13 21:08:29] kshow_xy: ゆるふわ…？
[12/09/13 21:08:29] moriken-www: 公理⊂定理 なんですね。
[12/09/13 21:08:38] くいなちゃん: くいなちゃん はこの会話から kaitoy31 を追放しました
[12/09/13 21:08:41] くいなちゃん が kaitoy31 を会話に追加しました
[12/09/13 21:08:42] rickytheta: 厳密かつ だったな
[12/09/13 21:08:49] iciclerain_9: すっごい分かりやすい説明だった
[12/09/13 21:09:17] めいとら: 見えないけどきっともうすでに何人か死者が出てる
[12/09/13 21:09:22] riou2000: つまりどういうことだってばよ
[12/09/13 21:09:27] a4lg_vm: 大抵の体系における公理って分かりやすいよね。厳密に理解しようとすると死ぬけどｗ
[12/09/13 21:09:29] linanfine: 定理を推論したものが定理・・・？
[12/09/13 21:09:36] linanfine: つまり定理とは・・・？
[12/09/13 21:09:46] rickytheta: 鉛筆の少なさが物語る死者の数
[12/09/13 21:09:47] くいなちゃん: (*)(*)(*)はい、みなさんこれで定理が何かを理解したと思いますので、数学の定理を自動で発見するAIを作ろうと思います。(*)(*)(*)
[12/09/13 21:09:58] めいとら: ギャー！
[12/09/13 21:10:03] charolles64: 楽しみ！
[12/09/13 21:10:04] tubist35: はーい！
[12/09/13 21:10:08] rickytheta: わーい！
[12/09/13 21:10:10] d_rascal: わーい
[12/09/13 21:10:15] fumiexcel: なんか前回より鉛筆が少なくないか
[12/09/13 21:10:16] くいなちゃん: (*)(*)(*)Haskellで。(*)(*)(*)
[12/09/13 21:10:17] kiteretsu_fla: はーい
[12/09/13 21:10:21] jane8393: 公理・・・大前提
[12/09/13 21:10:25] takayukib: ここでバルキスの定理を使うとだな…
[12/09/13 21:10:29] atpons: わぁい定理 あかり定理大好.........
[12/09/13 21:10:35] tai-45: ε(  ε^o^)эわぁい
[12/09/13 21:10:36] spark6251: 鉛筆の少なさが死者の数を（？）
[12/09/13 21:10:52] kshow_xy: 結構な死者数ｗ
[12/09/13 21:10:57] Kyos: ま・・・・まだついていけてるっ
[12/09/13 21:11:07] amartya_3178: まずはHaskellの基礎から？
[12/09/13 21:11:10] jane8393: なぜか手元に戸田山「論理学を作る」をおいて参戦することにした
[12/09/13 21:11:13] くいなちゃん: 最近、鉛筆を隠す人が増えてきたので、そのせいかと
[12/09/13 21:11:17] xtarurux: ( ｡･ω･｡).｡oO(Haskellわかんないですし……)
[12/09/13 21:11:19] dtm.music.producer: GHCi was launched.
[12/09/13 21:11:23] くいなちゃん が greengraffitti を会話に追加しました
[12/09/13 21:11:27] hnakai0909: 本当に2時間で終わるのだろうか
[12/09/13 21:11:29] climpet: 初歩的な質問で申し訳ないのですが、もしも推論規則のない公理系を考えた場合、そこから定理は導かれないと考えてよろしいのでしょうか
[12/09/13 21:12:18] outer-inside: 某社に買ってもらった Real World Haskell をお守りにしよう
[12/09/13 21:12:31] くいなちゃん: (*)(*)(*)そもそも、Haskellって何？　という方もおられるかと思いますので、まずは Haskell について簡単に説明しておきたいと思います。(*)(*)(*)
[12/09/13 21:12:34] kurisaka_konabe: あ、鉛筆の設定って相手に視えなくなるのか。反映されねーなぁっと思ったら、他人の鉛筆じゃないのか
[12/09/13 21:13:00] kiteretsu_fla: 鉛筆マークって相手に見えないようにする設定だったんだ。てっきりチャットに表示しない設定かとばかり・・・
[12/09/13 21:13:15] linanfine: 同じく・・・
[12/09/13 21:13:33] めいとら: 僕も鉛筆そう思ってた。前回消えなかったからバグかなと思ってた
[12/09/13 21:14:25] くいなちゃん: (*)(*)(*)Haskell は、関数型言語です。　宣言的プログラミングによって、プログラムしていくプログラミング言語です。　「○○は××である！」というのを繰り返してプログラミングする感じですね。　「まずは○○して、次に××しろ！」という C言語(手続き型言語)とはかなり異なります。(*)(*)(*)
[12/09/13 21:14:39] くいなちゃん: くいなちゃん はこの会話から Aruneko を追放しました
[12/09/13 21:14:41] くいなちゃん が Aruneko を会話に追加しました
[12/09/13 21:14:48] hnakai0909: Makefile的な
[12/09/13 21:14:57] kotatsu_mikan: Lazy K?
[12/09/13 21:15:13] outer-inside: 「関数型言語」という言葉は曖昧だから使うなとあれほど (ry
[12/09/13 21:15:19] aruneko99: ありがとうございます！
[12/09/13 21:15:20] fumiexcel: Lazy Kは関数型言語ですが宣言的ではありません
[12/09/13 21:15:56] schwanken: 「関数的」な書き方ができる言語のことを関数型言語とカテゴライズしている程度のものですかね
[12/09/13 21:15:58] くいなちゃん: (*)(*)(*)では具体的に、今回定理を発見するための数学の体系を説明しながら、同時に Haskell で実装してみることにしましょう。(*)(*)(*)
[12/09/13 21:16:06] riou2000: 結局関数型もよくわかってないんだけど俺大丈夫かな
[12/09/13 21:17:21] くいなちゃん: (*)(*)(*)最終的には 大規模な数学体系の定理を発見するとしても、まずは試しに小さな体系で定理を発見してみることを考えます。　今回は、命題論理　を対象としてみます。(*)(*)(*)
[12/09/13 21:17:35] fumiexcel: 命題論理(非常に曖昧)
[12/09/13 21:17:57] Kyos: 命題論理（曖昧さ回避）
[12/09/13 21:19:08] kshow_xy: みんな息してる…？
[12/09/13 21:19:19] pn_terrorist: マスハラーたちが集っているこわい会議はここですか？？？
[12/09/13 21:19:22] a4lg_vm: (死にかけ)
[12/09/13 21:19:27] くいなちゃん: (*)(*)(*)では、今回対象とする命題論理を、厳密に定義していきましょう。　まず、この体系で用いられる記号は、　P　Q　R　￢　⇒　の5種類です。　この5種類をうまく並べると、この数学体系でのあらゆる式や命題が記述できます。(*)(*)(*)
[12/09/13 21:19:27] Kyos: ｾﾞｰﾊｰ
[12/09/13 21:19:40] riou2000: (壁の中)
[12/09/13 21:19:40] くいなちゃん が yuuhi.k を会話に追加しました
[12/09/13 21:19:46] Kyos: ・・・（息してない
[12/09/13 21:19:50] jane8393: そっちでいくのか
[12/09/13 21:20:07] hnakai0909: "￢"がググれない
[12/09/13 21:20:16] rickytheta: 酸素ボンベ早くー
[12/09/13 21:20:19] amartya_3178: 否定かな
[12/09/13 21:20:21] Kyos: あ　わかった
[12/09/13 21:20:22] fumiexcel: 命題が3種類しか使えない…だと…
[12/09/13 21:20:34] くいなちゃん: (*)(*)(*)まあ、たとえば、　P⇒P　(PならばPである)　といった感じですん。　わかりますね。(*)(*)(*)
[12/09/13 21:20:55] a4lg_vm: トートロジーですね。
[12/09/13 21:21:00] jane8393: Prologの悪夢を思い出して瀕死
[12/09/13 21:21:06] Kyos: [21:19:21] くいなちゃん: ￢

<<< こいつは否定でよろしいですか
[12/09/13 21:21:10] xtarurux: ￢　で悩んでいるです・・・…
[12/09/13 21:21:14] hinome.tsukinome: ￢は「否定」で変換
[12/09/13 21:21:16] tubist35: 否定です
[12/09/13 21:21:19] kshow_xy: 否定と思われる
[12/09/13 21:21:21] riou2000: ￢
[12/09/13 21:21:26] a4lg_vm: 否定ですね。
[12/09/13 21:21:28] kiteretsu_fla: 否定か
[12/09/13 21:21:28] xtarurux: ありです♪
[12/09/13 21:21:31] fumiexcel: みなさん、まだ記号しか定義してないですよ
[12/09/13 21:21:34] d_rascal: ￢
[12/09/13 21:21:42] pn_terrorist: ¬
[12/09/13 21:21:52] くいなちゃん: (*)(*)(*)￢　は数学における否定によく使われる記号ですが、いまのところ、単なる記号にすぎず、意味は定義されていません(*)(*)(*)
[12/09/13 21:21:56] tubist35: （「否定」を示唆します）
[12/09/13 21:21:59] wai_dotto: \\negを￢に辞書登録してたり
[12/09/13 21:22:00] d_rascal: 「￢┐
[12/09/13 21:22:21] charolles64: まだ未定義か
[12/09/13 21:22:37] Kyos: 未定義だと・・・・
[12/09/13 21:22:38] outer-inside: ちなみに ¬ の由来は「不」らしいので「フ」と同源
[12/09/13 21:22:47] kshow_xy: へぇ
[12/09/13 21:23:03] くいなちゃん: (*)(*)(*)ちなみに、くいなちゃんはポーランド記法が好きなので、　P⇒P　を、　⇒PP　と書くことにしましょう。(*)(*)(*)
[12/09/13 21:23:07] hnakai0909: ＿人人人＿＞未定義＜￣Y^Y^Y^Y￣
[12/09/13 21:23:20] outer-inside: え……
[12/09/13 21:23:23] jane8393: ¬¬Pの規則は¬Pの規則を決めれば変形規則からわかってくる
[12/09/13 21:23:25] tubist35: ポーランド記法ww
[12/09/13 21:23:26] kshow_xy: 論理学でポーランド記法…
[12/09/13 21:23:29] rickytheta: 突然のポーランド記法
[12/09/13 21:23:30] riou2000:  ＿人人人＿
＞未定義＜
￣Y^Y^Y^Y￣
[12/09/13 21:23:31] amartya_3178: ついでに括弧で囲んで間にスペースを入れましょう
[12/09/13 21:23:33] dtm.music.producer: ポーランド記法ｗｗｗｗ
[12/09/13 21:23:39] jane8393: ・・・そこでポーランド記法かいｗ
[12/09/13 21:23:51] a4lg_vm: 論理述語をポーランド記法するって聞いたことないｗ
[12/09/13 21:23:53] fumiexcel: で、でたーwwwwwwUnlambdaスタイルwwwwwwwwwwwww
[12/09/13 21:23:57] Kyos: ふぇぇｗｗｗ
[12/09/13 21:24:17] jane8393: ・・・情報処理技術者試験の練習ですかこれは
[12/09/13 21:24:18] くいなちゃん: (*)(*)(*)ついでに、いちいち　⇒　とか　￢　とかヘンな記号を入力するのは大変なので、　⇒　を以後　>　と書き、￢　を以後　~　と書くことにします。(*)(*)(*)
[12/09/13 21:24:19] hnakai0909: 鉛筆の活気が戻った
[12/09/13 21:24:36] xtarurux: ぽーらんど記法で絶対迷いますし……
[12/09/13 21:24:39] kshow_xy: ふぇぇ…
[12/09/13 21:24:52] riou2000: ＞PP
[12/09/13 21:24:56] kiteretsu_fla: (puke)
[12/09/13 21:25:09] くいなちゃん: (*)(*)(*)結局、この体系で使われる記号は、　P　Q　R　~　>　の5種類ということになりますね。(*)(*)(*)
[12/09/13 21:25:13] rickytheta: チルダか
[12/09/13 21:25:14] hnakai0909: 嘔吐はご遠慮ください
[12/09/13 21:25:14] Kyos: ～＞
[12/09/13 21:25:19] xtarurux: \o/
[12/09/13 21:25:22] jane8393: 多分ここからは紙と鉛筆orペン（物理）を用意した方がいい
[12/09/13 21:25:25] d_rascal: ~~~~~~~~~~
[12/09/13 21:25:31] takayukib: くいなちゃんさんが発言する度に6ふぁぼ…
[12/09/13 21:25:32] aruneko99: ポーランド記法慣れてないからなぁ...
[12/09/13 21:26:16] kotatsu_mikan: ~で否定だとCみたい
[12/09/13 21:26:20] outer-inside: TeX で書いてくれた方が脳内コンパイルが早い
[12/09/13 21:26:54] wai_dotto: ￢でなく〜を使っている本はたまに見かける
[12/09/13 21:26:56] kshow_xy: 鉛筆めっちゃ増えたｗ
[12/09/13 21:27:05] fumiexcel: >>>PQQ>>PQQ
[12/09/13 21:27:11] くいなちゃん: (*)(*)(*)　ここで、　P　Q　R　を、変数と呼ぶことにしましょう。　Propositional Variables なんですが、和訳が解らぬ　(*)(*)(*)
[12/09/13 21:28:02] wai_dotto: ((P→Q)→Q)→((P→Q)→Q)？
[12/09/13 21:28:05] kshow_xy: ￢を～の表記で習いました
[12/09/13 21:28:29] a4lg_vm: 命題変数？
[12/09/13 21:28:39] cllightz: 命題の変数？
[12/09/13 21:28:47] くいなちゃん: (*)(*)(*)では、最初に　定理　を説明したときに、　公理　というものが出てきましたが、今度は　公理　を定義しましょう。　この公理を推論して、定理を導出していくという、いわば出発点　となるものです。(*)(*)(*)
[12/09/13 21:28:53] takayukib: 『情報科学における論理』だと「命題変数」ってなってますね＞和訳
[12/09/13 21:29:25] rickytheta: 命題変数かな
[12/09/13 21:29:31] tjam3142725: かっこの記号も使えないのかなー
[12/09/13 21:30:26] くいなちゃん: (*)(*)(*)今回、ヒルベルトさんという偉い人が考えた公理を使います。　以下がそれです。
1.　φ → (χ → φ)
2.　(φ → (χ → ψ)) → ((φ → χ) → (φ → ψ))
3.　(￢ψ → ￢φ)→(φ → ψ)
(*)(*)(*)
[12/09/13 21:30:35] tubist35: （公理図式）
[12/09/13 21:30:41] rickytheta: なるほど、公理を種にして定理を作るわけですね
[12/09/13 21:30:42] srb0004: 普通に命題変数で良いかと。
[12/09/13 21:30:44] くいなちゃん: (*)(*)(*)意味がよく解らないと思うかと存じますが、くいなちゃんにも解りません。　気にせず進みましょう。(*)(*)(*)
[12/09/13 21:31:00] Kyos: 記法ドコ行った・・・？
[12/09/13 21:31:22] takayukib: 推論規則を減らす方向…？
[12/09/13 21:31:26] kshow_xy: ｗ
[12/09/13 21:32:08] srb0004: Hilbert styleかー
[12/09/13 21:32:40] くいなちゃん: (*)(*)(*)ただ、この公理は、くいなちゃんの数学体系の記号で表されていないので、ポーランド記法に変換して書き直します。
1.　>P>QP
2.　>>P>QR>>PQ>PR
3.　>>~P~Q>QP
(*)(*)(*)
[12/09/13 21:32:56] rickytheta: うわあああああ
[12/09/13 21:33:14] Kyos: ポーランド記法わかりやすいと感じた←
[12/09/13 21:33:37] schwanken: 括弧ほしいな
[12/09/13 21:33:47] charolles64: わかりにくいw
[12/09/13 21:33:55] anohinitikau: 一瞬身にきたけど全然分からん
[12/09/13 21:34:00] くいなちゃん: (*)(*)(*)そこまでを Haskell で書いたのが、これです！　そのまま書いているだけなので、難しくはないですね。
http://tes.so/6saiconf_2/img0.png
(*)(*)(*)
[12/09/13 21:34:36] dtm.music.producer: 読みづれぇ！
[12/09/13 21:34:44] kshow_xy: まさかのスクショｗ
[12/09/13 21:34:48] amartya_3178: ここで宗教戦争
[12/09/13 21:34:58] yakumo: ポーランド記法微妙にわかりづらい
[12/09/13 21:35:21] くいなちゃん: (*)(*)(*)Haskell は宣言的に書くことができるので、symbols(記号)は○○であるとか、axioms(公理)は××であるとか、そのまま書けます。(*)(*)(*)
[12/09/13 21:35:29] reinforchu: おーこれがはしゅけるですか(*)
[12/09/13 21:35:33] jane8393: colorscheme変更したほうがいいような　見難い
[12/09/13 21:35:41] moriken-www: ふぇぇ
[12/09/13 21:35:45] schwanken: ん、axiomsは文字列まんまでいいのか
[12/09/13 21:36:18] くいなちゃん: (*)(*)(*)くいなちゃんのvimの色設定に文句はゆるさん(*)(*)(*)
[12/09/13 21:36:40] outer-inside: 各記号一文字だしパース簡単で良い
[12/09/13 21:37:07] a4lg_vm: (facepalm)
[12/09/13 21:37:10] xtarurux: 脱落しそうです……
[12/09/13 21:37:18] kiteretsu_fla: img1.pngを怖いもの見たさで見てしまった…ううう…
[12/09/13 21:37:49] dtm.music.producer: NotePad++で書くぜ
[12/09/13 21:37:58] くいなちゃん: (*)(*)(*)次に、この体系に　「整式」　というものを導入します。　整式とは、ちゃんとした式　と思ってくだされば結構です。　>PP　は整式ですが、　>P (Pならば…完)　は式としておかしいので、整式ではない　という感じです。(*)(*)(*)
[12/09/13 21:38:21] めいとら: うわ、急に鉛筆がいっぱいになった
[12/09/13 21:38:30] kshow_xy: フライングｗ
[12/09/13 21:39:10] srb0004: well-formed-formula
[12/09/13 21:39:17] kagehaq: kagehaq が会話を退席しました
[12/09/13 21:40:13] くいなちゃん: (*)(*)(*)以下が、整式　に関しての厳密な定義です。　これを満たせば、整式となります。
1.　P,Q,R　は整式である
2.　もしφが整式なら、~φも整式である
3.　もしφとψが整式なら、>φψも整式である
4.　これ以外は整式でない
(*)(*)(*)
[12/09/13 21:40:34] schwanken: なるほど。正規表現かなにかで書けるわけですか
[12/09/13 21:40:39] くいなちゃん: くいなちゃん はこの会話から yuuhi.k を追放しました
[12/09/13 21:40:42] くいなちゃん が yuuhi.k を会話に追加しました
[12/09/13 21:41:32] くいなちゃん: (*)(*)(*)はい、それでは、Haskell のほうにも　これを書きましょう。
http://tes.so/6saiconf_2/img1.png
(*)(*)(*)
[12/09/13 21:42:15] くいなちゃん: (*)(*)(*)見辛い色のコメントを読めばわかりますが、それぞれ 1 2 3 の整式の定義が記述されています。　わかります？(*)(*)(*)
[12/09/13 21:42:24] fumiexcel: data Expr = P | Q | R | Not | Imp Expr Expr deriving (Eq, Show)まで書いて待機してる
[12/09/13 21:42:35] e141b1c1: うわぁぁぁぁ
[12/09/13 21:43:21] tubist35: はい
[12/09/13 21:43:22] yukix7: yukix7 が会話を退席しました
[12/09/13 21:43:26] pn_terrorist: パターンマッチで書けるのか…！
[12/09/13 21:44:22] くいなちゃん: (*)(*)(*)軽く説明しましょう。　formula phi　の一つ目の条件である　elem phi propositional_variables = True　とは、elem は「○○が××に含まれているか」という意味なので、phi　が　propositional_variables(命題変数？、すなわちPQR)　なら　True　という意味です。
[12/09/13 21:44:41] moriken-www: シングルクオーテーションとダブルクオーテーションの違いって意味あるんですか？
[12/09/13 21:44:57] wai_dotto: Not Expr
[12/09/13 21:45:20] くいなちゃん: (*)(*)(*)1つめの　整式の定義に合致しますね。(*)(*)(*)
[12/09/13 21:46:16] hinome.tsukinome: ようやくポーランド記法の意図がわかった
[12/09/13 21:47:06] くいなちゃん: (*)(*)(*)はい、それでは下のほうにある　main = print $ formula ">P~Q"　を見てください。　これはメイン関数です。　「main は、formula ">P~Q"　の結果を、print するものだ」という宣言になっています。　結果は、>P~Q (P⇒￢Q) は式として正しいので、Trueが表示されます。(*)(*)(*)
[12/09/13 21:49:58] くいなちゃん: (*)(*)(*)ここで、変数は、整式で置き換えられる規則を導入しましょう。　P とか Q とかが、文字通り P や Q だけでなく、>PP などの式が当てはまらないと "変数" として、あんまり意味がなくなってしまいますからね。(*)(*)(*)
[12/09/13 21:50:54] くいなちゃん: (*)(*)(*)つまり、>P>QP という公理には、　>R>PR でも良いですし、それぞれに>PP を代入して　>>PP>>PP>PP でも良い　ということにしたほうが良いということです。(*)(*)(*)
[12/09/13 21:51:55] charolles64: そういうことか
[12/09/13 21:52:00] くいなちゃん: (*)(*)(*)はい、それを Haskell で書いたのがこちらです(グロ注意)。　意味が解らなくても構いません。　さっき言ったことが書かれていると思ってください。
http://tes.so/6saiconf_2/img2.png
 (*)(*)(*)
[12/09/13 21:52:48] Kyos: （ﾋﾟｸﾋﾟｸ
[12/09/13 21:53:06] kshow_xy: これはグロい…
[12/09/13 21:53:11] outer-inside: 関数名がキモいですん……
[12/09/13 21:53:15] dtm.music.producer: GUROwwwwww
[12/09/13 21:53:35] momontyo: やっと目が追いついた。思考が追いつかない。
[12/09/13 21:53:49] くいなちゃん: (*)(*)(*)下のほうにある main に注目です。　">>RR>>RR>RR" という式が、公理にマッチするかをチェックしています。　>>RR>>RR>RR は公理に直接ありませんが、>P>QP という公理に　P を >RR, Q を >RR と当てはめたらこの形になるので、True となっています。(*)(*)(*)
[12/09/13 21:53:56] schwanken: お
[12/09/13 21:54:11] fumiexcel: 代数的データ型とそれによるパターンマッチを用いずに書くとグロい…
[12/09/13 21:55:01] srb0004: ェ…
[12/09/13 21:55:32] fumiexcel: くいなちゃんさん、アズパターンはご存知です？
[12/09/13 21:56:02] くいなちゃん: (*)(*)(*)はい、公理はこのへんでいいでしょう。　最初に言いましたが、定理は　この公理を　"推論規則"　によって推論することで導出します。　ということで、推論規則を定義しましょう。
φと(φ → ψ)という形の整式からはψを推論できる　(モーダスポネンス)　を推論規則として採用することにします。(*)(*)(*)
[12/09/13 21:57:08] machiningcenter: machiningcenter が会話を退席しました
[12/09/13 21:57:19] くいなちゃん: (*)(*)(*)くいなちゃんの数学体系の言葉で書くと、　P が定理で、かつ >PQ が定理ならば、Q も定理である、と推論されるという感じです。(*)(*)(*)
[12/09/13 21:58:10] くいなちゃん: (*)(*)(*)この推論規則を書いたのが、こちらです。　中ほどの modus_ponens がそれです。
http://tes.so/6saiconf_2/img3.png 
(*)(*)(*)
[12/09/13 21:58:22] d_rascal: ちょっと目を離した隙にけっこう進んでた
[12/09/13 21:58:54] riou2000: riou2000 が会話を退席しました
[12/09/13 22:00:11] くいなちゃん: (*)(*)(*)これにより、任意の式が　公理から導出できます。　たとえば、下の main のところにもありますが、　>>P>QP>>PQ>PP　という式を推論させると、これ自体が公理で、かつ >P>QP が公理なので、　>>PQ>PP が新たな定理として導出できることが出力されます。(*)(*)(*)
[12/09/13 22:02:47] くいなちゃん: (*)(*)(*)はい、よろしいでしょうか。　では、"P" から何か導出できるかをまずチェックし、次に "Q" "R" "~" ">" "PP" "PQ"…　とあらゆる式のパターンを導出させていくと、あらゆる定理が発見できることになりますよね！　これを書いたのが次です。
http://tes.so/6saiconf_2/img5.png
これにより、全ての定理を自動で発見していく AIが作られました！　#かのように思えた
 (*)(*)(*)
[12/09/13 22:02:52] kiteretsu_fla: kiteretsu_fla が会話を退席しました
[12/09/13 22:03:35] tubist35: やったね！
[12/09/13 22:04:24] kshow_xy: かのように思えた？
[12/09/13 22:04:53] くいなちゃん: (*)(*)(*)とりあえず実際に実行させてみると、まる一日計算させて、やっと数個の定理が発見させたに過ぎませんでした。　あと、このプログラムに、発見された定理をもとに、新たに最初から推論しなおすことも必要でした。　そして…(*)(*)(*)
[12/09/13 22:05:11] cllightz: img4.png は一体･･････
[12/09/13 22:05:14] くいなちゃん: くいなちゃん はこの会話から nonamea774 を追放しました
[12/09/13 22:05:17] くいなちゃん が nonamea774 を会話に追加しました
[12/09/13 22:05:42] Kyos: 時間さえ考えなけ（ｹﾞﾌﾝ
[12/09/13 22:06:11] charolles64: そして…？
[12/09/13 22:06:15] くいなちゃん: (*)(*)(*)数日後…　ド・モルガンの定理を発見させることに成功しました！(*)(*)(*)
[12/09/13 22:07:01] Kyos: おめでとうございます！！
[12/09/13 22:07:04] fumiexcel: このメッセージは削除されました。
[12/09/13 22:07:11] kshow_xy: やったね！！
[12/09/13 22:07:14] charolles64: やったー！
[12/09/13 22:07:28] a4lg_vm: !?
[12/09/13 22:07:56] yakumo: やったね
[12/09/13 22:07:59] kaitoy31: そうあたり
[12/09/13 22:07:59] jane8393: ・・・ここからド・モアブルが見つかったらそれはそれで怖すぎる
[12/09/13 22:08:00] tubist35: わーい！
[12/09/13 22:08:17] くいなちゃん: (*)(*)(*)はい、こんな感じで、数学の定理は見つかります。　できれば、こんなシンプルな体系ではなく、もっと高度(高階)な体系で試してみると、面白いと思います。　あと、C++で書いたほうが速い。　以上ですん☆(*)(*)(*)
[12/09/13 22:09:39] cat_mask: ですよねー
[12/09/13 22:09:40] くいなちゃん: (*)(実は、ド・モルガンの定理を発見したプログラムは、C#で書かれました)
[12/09/13 22:09:52] くいなちゃん: (*)(*)(*)なにかしつもんはありますか！
[12/09/13 22:11:37] fumiexcel: 「C++で書いたほうが速い」とあって泣いてる
[12/09/13 22:12:10] くいなちゃん: (*)(*)(*)ありませんね。　次回は、遺伝的アルゴリズムなどを使って遊びたいです。　今日は以上です☆　お疲れ様ですんー(*)(*)(*)
[12/09/13 22:12:18] tubist35: 888888888
[12/09/13 22:12:21] outer-inside: check_axioms がさっぱり分からんので解説欲しいですん
[12/09/13 22:12:26] charolles64: おつかれさまでしたー。次回も楽しみにしてます！
[12/09/13 22:12:27] morris_555: お疲れ様〜
[12/09/13 22:12:31] schwanken: おつかれさまでした
[12/09/13 22:12:42] kshow_xy: GAで何やるんですん？
[12/09/13 22:12:45] dtm.music.producer: うおおおおおおおおおおおおおおおおお遺伝的アルゴリズムきたあああああ
[12/09/13 22:12:52] aruneko99: おつかれさまでした！
[12/09/13 22:13:01] amartya_3178: ばくは
[12/09/13 22:13:04] yakumo: おつかれさまでした
[12/09/13 22:13:05] Kyos: おつかれさまでした（総当り以外にないのか考えてたけど思いつかなかった）
[12/09/13 22:13:09] fumiexcel: 次回は何の言語を使うんです？
[12/09/13 22:13:10] くいなちゃん: (*)(*)(*)速やかにご退場をお願いします。この会場はすぐに滅びます
[12/09/13 22:13:23] nankotsu230: おつかれさまでしたー
[12/09/13 22:13:23] wai_dotto: お疲れ様でしたー
[12/09/13 22:13:29] lay_ec: お疲れ様でした～
[12/09/13 22:13:32] くいなちゃん: くいなちゃん はこの会話から rickytheta を追放しました
[12/09/13 22:13:34] くいなちゃん: くいなちゃん はこの会話から noqisofon を追放しました
[12/09/13 22:13:34] srb0004: おつかれですん♫
[12/09/13 22:13:35] くいなちゃん: くいなちゃん はこの会話から syaukkaii を追放しました
[12/09/13 22:13:35] くいなちゃん: くいなちゃん はこの会話から rheniumk を追放しました
[12/09/13 22:13:35] くいなちゃん: くいなちゃん はこの会話から regestry1 を追放しました
[12/09/13 22:13:35] tubist35: ｷｬｰ
[12/09/13 22:13:36] くいなちゃん: くいなちゃん はこの会話から taiyok123 を追放しました
[12/09/13 22:13:36] くいなちゃん: くいなちゃん はこの会話から b.sarena002 を追放しました
[12/09/13 22:13:36] くいなちゃん: くいなちゃん はこの会話から twi_lock を追放しました
[12/09/13 22:13:37] くいなちゃん: くいなちゃん はこの会話から i6snld を追放しました
[12/09/13 22:13:37] くいなちゃん: くいなちゃん はこの会話から nonamea774 を追放しました
[12/09/13 22:13:37] くいなちゃん: くいなちゃん はこの会話から shaiyan58 を追放しました
[12/09/13 22:13:38] くいなちゃん: くいなちゃん はこの会話から basshi-13 を追放しました
[12/09/13 22:13:38] くいなちゃん: くいなちゃん はこの会話から nullkal を追放しました
[12/09/13 22:13:39] くいなちゃん: くいなちゃん はこの会話から daisukeegg を追放しました
[12/09/13 22:13:40] くいなちゃん: くいなちゃん はこの会話から kurisaka_konabe を追放しました
[12/09/13 22:13:40] くいなちゃん: くいなちゃん はこの会話から saga_tokiha を追放しました
[12/09/13 22:13:41] くいなちゃん: くいなちゃん はこの会話から minto-ziru を追放しました
[12/09/13 22:13:41] くいなちゃん: くいなちゃん はこの会話から moriken-www を追放しました
[12/09/13 22:13:42] くいなちゃん: くいなちゃん はこの会話から cllightz を追放しました
[12/09/13 22:13:42] outer-inside: 乙でした
[12/09/13 22:13:43] くいなちゃん: くいなちゃん はこの会話から kusyanaxx1 を追放しました
[12/09/13 22:13:43] くいなちゃん: くいなちゃん はこの会話から shindex00 を追放しました
[12/09/13 22:13:44] くいなちゃん: くいなちゃん はこの会話から cat_mask を追放しました
[12/09/13 22:13:44] くいなちゃん: くいなちゃん はこの会話から なぜ前向きに生きていかなくちゃならないんだ を追放しました
[12/09/13 22:13:45] くいなちゃん: くいなちゃん はこの会話から swallow_tubame を追放しました
[12/09/13 22:13:45] kaitoy31: おつかれさまでした〜
[12/09/13 22:13:51] くいなちゃん: くいなちゃん はこの会話から ikasama_m を追放しました
[12/09/13 22:13:53] くいなちゃん: くいなちゃん はこの会話から yossi を追放しました
[12/09/13 22:13:53] くいなちゃん: くいなちゃん はこの会話から magical1130 を追放しました
[12/09/13 22:13:53] くいなちゃん: くいなちゃん はこの会話から 風兎 を追放しました
[12/09/13 22:13:54] くいなちゃん: くいなちゃん はこの会話から yukkuribemani を追放しました
[12/09/13 22:13:54] くいなちゃん: くいなちゃん はこの会話から tooms32 を追放しました
[12/09/13 22:13:55] くいなちゃん: くいなちゃん はこの会話から morrey22 を追放しました
[12/09/13 22:13:56] くいなちゃん: くいなちゃん はこの会話から reinforchu を追放しました
[12/09/13 22:13:56] くいなちゃん: くいなちゃん はこの会話から takayukib を追放しました
[12/09/13 22:13:56] くいなちゃん: くいなちゃん はこの会話から mukiryokusyouzyoy を追放しました
[12/09/13 22:13:56] くいなちゃん: くいなちゃん はこの会話から yuhi_as を追放しました
[12/09/13 22:13:56] くいなちゃん: くいなちゃん はこの会話から yutopp10 を追放しました
[12/09/13 22:13:57] くいなちゃん: くいなちゃん はこの会話から ridanlue を追放しました
[12/09/13 22:13:57] くいなちゃん: くいなちゃん はこの会話から yuuhi.k を追放しました
[12/09/13 22:14:01] tai-45: ε(  ε^o^)эおつかれさまでし…！
[12/09/13 22:14:03] くいなちゃん: くいなちゃん はこの会話から osamusanex を追放しました
[12/09/13 22:14:04] umecherome: お疲れさまでした
[12/09/13 22:14:04] a4lg_vm: 乙
[12/09/13 22:14:05] くいなちゃん: くいなちゃん はこの会話から p_ck__ を追放しました
[12/09/13 22:14:06] くいなちゃん: くいなちゃん はこの会話から solari-s を追放しました
[12/09/13 22:14:07] くいなちゃん: くいなちゃん はこの会話から h_mrok を追放しました
[12/09/13 22:14:08] くいなちゃん: くいなちゃん はこの会話から tajas. を追放しました
[12/09/13 22:14:09] くいなちゃん: くいなちゃん はこの会話から myuon_myon を追放しました
[12/09/13 22:14:09] くいなちゃん: くいなちゃん はこの会話から kotatsulove を追放しました
[12/09/13 22:14:09] くいなちゃん: くいなちゃん はこの会話から masato0726 を追放しました
[12/09/13 22:14:09] kshow_xy: お疲れ様でしたー
[12/09/13 22:14:10] くいなちゃん: くいなちゃん はこの会話から sisyamo_9 を追放しました
[12/09/13 22:14:13] くいなちゃん: くいなちゃん はこの会話から darkmare73 を追放しました
[12/09/13 22:14:14] くいなちゃん: くいなちゃん はこの会話から めいとら を追放しました
[12/09/13 22:14:15] くいなちゃん: くいなちゃん はこの会話から momontyo を追放しました
[12/09/13 22:14:16] くいなちゃん: くいなちゃん はこの会話から っきん を追放しました
[12/09/13 22:14:16] meokz_: meokz_ が会話を退席しました
[12/09/13 22:14:17] くいなちゃん: くいなちゃん はこの会話から つな を追放しました
[12/09/13 22:14:18] くいなちゃん: くいなちゃん はこの会話から てろ を追放しました
[12/09/13 22:14:19] くいなちゃん: くいなちゃん はこの会話から nabewata811 を追放しました
[12/09/13 22:14:19] くいなちゃん: くいなちゃん はこの会話から とぐまりさ を追放しました
[12/09/13 22:14:20] くいなちゃん: くいなちゃん はこの会話から ナムアニクラウド を追放しました
[12/09/13 22:14:20] ryoyameka: お疲れ様でしたー
[12/09/13 22:14:20] dtm.music.producer: お疲れ様でしたー
[12/09/13 22:14:21] くいなちゃん: くいなちゃん はこの会話から なんこつちゃん を追放しました
[12/09/13 22:14:22] くいなちゃん: くいなちゃん はこの会話から はむぱい を追放しました
[12/09/13 22:14:23] くいなちゃん: くいなちゃん はこの会話から ブー を追放しました
[12/09/13 22:14:23] くいなちゃん: くいなちゃん はこの会話から kyoutyann3 を追放しました
[12/09/13 22:14:24] くいなちゃん: くいなちゃん はこの会話から ふたん を追放しました
[12/09/13 22:14:25] くいなちゃん: くいなちゃん はこの会話から xtarurux を追放しました
[12/09/13 22:14:27] くいなちゃん: くいなちゃん はこの会話から d_rascal を追放しました
[12/09/13 22:14:27] くいなちゃん: くいなちゃん はこの会話から minyamuu を追放しました
[12/09/13 22:14:27] くいなちゃん: くいなちゃん はこの会話から しとりー を追放しました
[12/09/13 22:14:28] くいなちゃん: くいなちゃん はこの会話から シュガッター@寮 を追放しました
[12/09/13 22:14:28] くいなちゃん: くいなちゃん はこの会話から シャロル を追放しました
[12/09/13 22:14:31] くいなちゃん: くいなちゃん はこの会話から そすう を追放しました
[12/09/13 22:14:31] くいなちゃん: くいなちゃん はこの会話から itokatsuya を追放しました
[12/09/13 22:14:31] くいなちゃん: くいなちゃん はこの会話から su-----478 を追放しました
[12/09/13 22:14:31] くいなちゃん: くいなちゃん はこの会話から しょぼっち を追放しました
[12/09/13 22:14:31] くいなちゃん: くいなちゃん はこの会話から しゅがるん を追放しました
[12/09/13 22:14:32] くいなちゃん: くいなちゃん はこの会話から たかし を追放しました
[12/09/13 22:14:32] くいなちゃん: くいなちゃん はこの会話から たい@本体は後ろのｻｶﾅ を追放しました
[12/09/13 22:14:33] くいなちゃん: くいなちゃん はこの会話から たけ を追放しました
[12/09/13 22:14:33] くいなちゃん: くいなちゃん はこの会話から oers7756 を追放しました
[12/09/13 22:14:34] くいなちゃん: くいなちゃん はこの会話から Rain＠がお を追放しました
[12/09/13 22:14:35] くいなちゃん: くいなちゃん はこの会話から cainekanak を追放しました
[12/09/13 22:14:36] くいなちゃん: くいなちゃん はこの会話から Lay を追放しました
[12/09/13 22:14:36] くいなちゃん: くいなちゃん はこの会話から きょんたん を追放しました
[12/09/13 22:14:36] くいなちゃん: くいなちゃん はこの会話から kan33524 を追放しました
[12/09/13 22:14:37] くいなちゃん: くいなちゃん はこの会話から orn_tk を追放しました
[12/09/13 22:14:37] くいなちゃん: くいなちゃん はこの会話から くろいの を追放しました
[12/09/13 22:14:37] くいなちゃん: くいなちゃん はこの会話から cookies479 を追放しました
[12/09/13 22:14:38] くいなちゃん: くいなちゃん はこの会話から ころ を追放しました
[12/09/13 22:14:38] くいなちゃん: くいなちゃん はこの会話から こむぎ娘 を追放しました
[12/09/13 22:14:38] くいなちゃん: くいなちゃん はこの会話から ryu10103 を追放しました
[12/09/13 22:14:39] くいなちゃん: くいなちゃん はこの会話から さのぴー を追放しました
[12/09/13 22:14:39] くいなちゃん: くいなちゃん はこの会話から こんただお(´・ω・`) を追放しました
[12/09/13 22:14:40] tjam3142725: おつかれさまでしたー
[12/09/13 22:14:42] くいなちゃん: くいなちゃん はこの会話から C+C@blueapplex を追放しました
[12/09/13 22:14:43] くいなちゃん: くいなちゃん はこの会話から cherome を追放しました
[12/09/13 22:14:49] くいなちゃん: くいなちゃん はこの会話から BeepCap を追放しました
[12/09/13 22:14:51] くいなちゃん: くいなちゃん はこの会話から t.hayamizu を追放しました
[12/09/13 22:14:51] くいなちゃん: くいなちゃん はこの会話から e141b1c1 を追放しました
[12/09/13 22:14:51] くいなちゃん: くいなちゃん はこの会話から DESTEL を追放しました
[12/09/13 22:14:52] くいなちゃん: くいなちゃん はこの会話から ｄｍｓ を追放しました
[12/09/13 22:14:52] くいなちゃん: くいなちゃん はこの会話から d-kami を追放しました
[12/09/13 22:14:53] くいなちゃん: くいなちゃん はこの会話から Echo / Sound Test Service を追放しました
[12/09/13 22:14:54] くいなちゃん: くいなちゃん はこの会話から climpet を追放しました
[12/09/13 22:14:54] くいなちゃん: くいなちゃん はこの会話から chucky_0 を追放しました
[12/09/13 22:14:54] くいなちゃん: くいなちゃん はこの会話から hnakai0909 を追放しました
[12/09/13 22:14:54] くいなちゃん: くいなちゃん はこの会話から fumieval を追放しました
[12/09/13 22:14:55] くいなちゃん: くいなちゃん はこの会話から jane8393 を追放しました
[12/09/13 22:14:55] くいなちゃん: くいなちゃん はこの会話から horuhure を追放しました
[12/09/13 22:14:56] くいなちゃん: くいなちゃん はこの会話から kawada nobuhiro を追放しました
[12/09/13 22:14:56] くいなちゃん: くいなちゃん はこの会話から kaitoy31 を追放しました
[12/09/13 22:14:56] くいなちゃん: くいなちゃん はこの会話から jumpeii.net を追放しました
[12/09/13 22:14:57] くいなちゃん: くいなちゃん はこの会話から Ken Moriyama を追放しました
[12/09/13 22:15:00] くいなちゃん: くいなちゃん はこの会話から Kshow を追放しました
[12/09/13 22:15:00] くいなちゃん: くいなちゃん はこの会話から kozolang を追放しました
[12/09/13 22:15:00] くいなちゃん: くいなちゃん はこの会話から KITADAI, Yukinori (Nyoho) を追放しました
[12/09/13 22:15:00] くいなちゃん: くいなちゃん はこの会話から kikko を追放しました
[12/09/13 22:15:01] くいなちゃん: くいなちゃん はこの会話から Kyos を追放しました