[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む71 http://rio2016.5ch.net/test/read.cgi/math/1561208978/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
213: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/24(月) 16:38:34.02 ID:dnjTnHb1 >>211 おっちゃん、どうも、スレ主です。 数理論理学は、いまどきなら、プログラミング言語と共に語られるのでは？（＾＾ URL省略 未完成な論を綴るブログ id:ytakano 2019-03-03 プログラミング言語と論理学の狭間にてさけぶけもの (抜粋) 情報科学をやってきたのだから、死ぬまでに一度自作のプログラミング言語を作ろうと思ったのが2016年後半ぐらいである。プログラミング言語とオペレーティングシステムは情報科学を志した者は誰もが一度は目指す道である（たぶん）。 しかし、思い立ったは良いが、プログラミング言語の研究は論理学を基礎としており、その当時は論理学のろの字もわからなかった。実際には、JAISTの学生時代に小野先生の数理論理学の講義を受けたのだが、その当時は「ANDとOR計算ね」ぐらいの認識しかなかったという体たらくであった。当時は大堀先生もJAISTでStandard MLの講義をしていたので、今にして思えば受講しておけばよかったと思う。 そんなこんなで基礎を習得するのに2年弱かかってしまって、今ようやく自作プログラミング言語の実装に取り掛かっているわけである。本報はプログラミングという情報科学にそびえ立つエベレスト、いやオリンポス山登頂を目指しているつもりが、論理学というジャングルへ踏み込むことになった結果得られた知見をまとめたものである。 論理学入り口 論理学の奥地へ そしてプログラミング言語へ URL省略 国立大学法人 北陸先端科学技術大学院大学 (略称:JAIST) 平成2年10月に開学された大学院大学。 http://rio2016.5ch.net/test/read.cgi/math/1561208978/213
214: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/24(月) 16:40:42.04 ID:dnjTnHb1 >>213 補足 URL省略 ２か所 投稿がはじかれて、通らなかったのでURLを略した なんでかな？（＾＾ ハテナのブログとページだからかな（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1561208978/214
219: １３２人目の素数さん [sage] 2019/06/24(月) 17:17:55.50 ID:oDIXoinb >>213 プログラミング言語というより、むしろ理論的な計算機科学に数理論理学は応用されていると思う。 数学だと、少なくとも超準解析や作用素環、周期環を学習するなら、数理論理学が必要になるが、 これらの学習の前には、数理論理学というより、もっと数学的なことを身に付けていないと話にならない。 以前、共立講座 現代の数学の「数理論理学 増補版」を読んだことはあるが、難しくて撃墜した。 私の手元にある岩波講座現代数学への入門の「現代数学への流れ2」が内容的に 比較的まとまっていてよさそうだから、取り敢えずはこれでいい。 http://rio2016.5ch.net/test/read.cgi/math/1561208978/219
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s