数理情報学を語れ

0001１３２人目の素数さん

NGNG

MIZARはWIKIでもかなり記述してあります。
そろそろいかがでしょうか？

0002１３２人目の素数さん

NGNG

だめ

0003１３２人目の素数さん

NGNG

情報数学とどう違うんや

0004１３２人目の素数さん

NGNG

なんでも数理とつけるのが流行ってるの？
数学を使えば数理○○学と名乗る資格が得られるの？

0005１３２人目の素数さん

NGNG

mizar ってのはこのへんのやつかな。
http://markun.cs.shinshu-u.ac.jp/Mirror/mizar/
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/Mizar4/ja/chapter1.html

>>1
てか、お前その書き方じゃ大半の人は「ハァ?」としか思わんぞ。

0006１３２人目の素数さん

NGNG

ハア？
というより
はぁ…… とか（ ´_ゝ`）ﾌｰﾝだろ

0007１３２人目の素数さん

NGNG

いや、MIZAR が何か知らなければ、いきなり
> MIZARはWIKIでもかなり記述してあります。
って言われても「ハァ？」だよ。

0008１３２人目の素数さん

NGNG

いや、その場合は「はぁ……」だ！！！

と主張してみる

0009１３２人目の素数さん

NGNG

mizar、iwazar、kikazar
いわゆる三大プルーフチェッカだな(wa

0010１３２人目の素数さん

NGNG

だめ

0011１３２人目の素数さん

NGNG

はぁ…… とか（ ´_ゝ`）ﾌｰﾝだろ

0012１３２人目の素数さん

NGNG

http://en.wikipedia.org/wiki/Mizar

0013１３２人目の素数さん

05/02/16 05:49:08

828

0014１３２人目の素数さん

05/02/23 18:27:12

431

0015１３２人目の素数さん

05/02/24 01:54:48

828

0016１３２人目の素数さん

05/03/06 09:00:02

185

0017１３２人目の素数さん

05/03/16 22:16:55

909

0018１３２人目の素数さん

2005/03/27(日) 23:46:42

766

0019１３２人目の素数さん

2005/03/28(月) 00:23:32

数理情報学って人気ないなwww

0020１３２人目の素数さん

2005/04/11(月) 18:24:54

245

0021１３２人目の素数さん

2005/04/11(月) 18:25:22

　　　　　　　　　　　　　　　　　　　　　＿＿＿＿_
　　　　／￣￣￣￣＼,,　　　　　／　　　　　　　　＼
　　　/＿＿＿＿＿　　ヽ　　　 /　＿＿＿＿＿_　　＼
　　　|　　　　　　　　|　　|　　 / ／　　　　　　　　＼　　ヽ　
　　　|／　　＼　 |___/　　　|/　／　　　　＼　　　ヽ　　|　
　　　| ・　　　　・　　 6 l　　　|　　・　　　　・　　　　|　　 |
.　　ヽ　（_人__）　　　,-′　　 |　　（_人__）　　　　 | 　 l　　　　　知らんがな
　　　ヽ＿＿＿／ヽ　　　ヽ　　　　　　　　　　　 /　/
　　　　／ |／＼／ l ＾ヽ　　　＼　　　　　　　　　/　/
　　　　|　|　　　　　|　　|　　　　 l━━（ｔ）━━━━┥

0022１３２人目の素数さん

2005/04/13(水) 03:38:18

で結局、数理情報学って何なの？

0023１３２人目の素数さん

2005/04/20(水) 21:46:24

それは永遠の謎だ。

0024１３２人目の素数さん

2005/04/26(火) 11:43:10

age

0025１３２人目の素数さん

2005/05/11(水) 19:29:46

285

0026１３２人目の素数さん

2005/05/31(火) 18:16:36

836

0027１３２人目の素数さん

2005/05/31(火) 20:14:22

>>19 日本ではな。

アメリカでは、これとバイオインフォマティックス（を専攻して、将来はジーンセラピストに）
が大人気。

0028１３２人目の素数さん

2005/06/26(日) 00:41:02

278

0029１３２人目の素数さん

2005/07/27(水) 03:12:34

136

0030１３２人目の素数さん

2005/09/01(木) 15:19:43

986

0031１３２人目の素数さん

2005/09/03(土) 13:26:27

離散数学のこと？

0032１３２人目の素数さん

2005/10/08(土) 12:07:58

207

0033１３２人目の素数さん

2005/11/18(金) 09:31:34

882

0034１３２人目の素数さん

2005/12/03(土) 07:44:47

age

0035１３２人目の素数さん

2006/01/02(月) 02:31:15

527

0036１３２人目の素数さん

2006/01/30(月) 06:05:57

401

0037１３２人目の素数さん

2006/02/05(日) 07:52:33

395

0038１３２人目の素数さん

2006/02/08(水) 21:52:36

ちなみに俺は理学部情報数理学科

0039１３２人目の素数さん

2006/03/02(木) 19:16:01

646

0040クリオネマン ◆t6s0gNM6KE

2006/03/12(日) 11:54:42

りかだい？

0041１３２人目の素数さん

2006/03/12(日) 12:28:39

このスレ

　～～～終了～～～

0042１３２人目の素数さん

2006/03/17(金) 18:29:43

ちょっと質問ですが、数理情報学を学べる大学ってどこがありますか？

0043１３２人目の素数さん

2006/03/19(日) 10:10:02

>>42
ttp://www.seto.nanzan-u.ac.jp/msie/faculty_info/suuri.htm

0044１３２人目の素数さん

2006/03/21(火) 09:53:10

>>43
ｻﾝｸｽ。数理情報といってもほぼ数学科みたいなものかｗ

0045１３２人目の素数さん

2006/03/24(金) 19:17:24

このスレ寂しそう。
king　た～～～ん　
Tama King　た～～～ん
中川た～～ん

0046GiantLeaves ◆6fN.Sojv5w

2006/03/24(金) 21:13:50

talk:>>45 私を呼んだか？