- プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
45 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 00:06:15.66 ID:PPUSm5YO - 形態素解析や係り受け解析の技術の標準化・共通化を進めなければならない。
|
- プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
46 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 00:14:30.54 ID:PPUSm5YO - 標準化の荒波にさらされて品質・性能・汎用性がさらなる進化を遂げなければならない。
|
- Cygwin + MinGW + GCC 相談室 Part 8
44 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 00:33:59.73 ID:PPUSm5YO - OpenMPをお使いの方、おらっしゃられるでござるか?
|
- Androidプログラミング質問スレ revision46 [転載禁止]©2ch.net
853 :デフォルトの名無しさん[sage]:2015/01/17(土) 00:47:49.39 ID:PPUSm5YO - 多数派工作
|
- 集合論に基づいた言語を作りたい
830 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 01:27:28.08 ID:PPUSm5YO - 数学に基づいた言語としてCoqは最適の例かと思われたが、御気に召さないとはこれ如何に。
では、そなたはどのような言語が希望か申し上げてみよ。
|
- 集合論に基づいた言語を作りたい
832 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 02:59:53.32 ID:PPUSm5YO - 麿は、この素晴らしきCoqを使えば、不具合のないソフトウェアが作れると見ては、
これをマスターすれば世界征服も夢ではないと、そのような所存でおじゃるよ。
|
- 集合論に基づいた言語を作りたい
833 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 03:31:41.14 ID:PPUSm5YO - Coqと人工知能を組み合わせたら……、金融取引に活かせば……とか楽しい妄想が広がるでおじゃる。
|
- プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
47 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 04:03:05.43 ID:PPUSm5YO - 私の頭脳内部には人工知能革命への道筋を示す地図が出来上がりつつある。世界の混乱は避けられない。
|
- プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
50 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 16:08:16.57 ID:PPUSm5YO - 超音波バリア!
|
- Visual Studio 2013 SP6©2ch.net
726 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 17:45:35.34 ID:PPUSm5YO - _WIN64
|
- Visual Studio 2013 SP6©2ch.net
728 :片山博文MZ ◆T6xkBnTXz7B0 [sage]:2015/01/17(土) 18:03:21.64 ID:PPUSm5YO - predefined macroだから。
http://msdn.microsoft.com/ja-jp/library/b0084kay.aspx
|
- プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
51 :片山博文MZ ◆T6xkBnTXz7B0 []:2015/01/17(土) 18:54:40.83 ID:PPUSm5YO - 【バグ発見者にキャッシュバック!キャンペーン】
クロスワードギバー3.0のバグを発見した人、二人に2000円分のWebMoneyをプレゼント。 バグを発見したら電子メールでご連絡下さい。早い者勝ち。2月末日まで有効。
|
- Git 11©2ch.net
285 :デフォルトの名無しさん[sage]:2015/01/17(土) 19:36:59.93 ID:PPUSm5YO - >>283
俺のガラケーでは見えない
|