「形式手法」の“論理の力”による開発効率と品質の向上事例 (1/3)：CodeZine（コードジン）

2017/11/07 30 users CodeZine アウトカム トップエスイー 論理 コードジン

トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 「形式手法」の“論理の力”による開発効率と品質の向上事例 トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 第7回 社会人エンジニア向けの教育プログラム「トップエスイー」から、エンジニアの皆さんに対して有用な情報をお届けするコーナーです。ところで、形式手法という言葉はご存じでしょうか？ 一般には「数理論理学に基づき、効率... 続きを読む

数学を教える人が読んでおきたい論理の本 - hiroyukikojimaの日記

2015/02/18 343 users hiroyukikojima 論理 数学 冊数 推論

23:18　ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証... 続きを読む

forやめろ -- LL Diver 2014 LT枠

2014/08/23 141 users LT枠 staticおじさん Esehara Shigeo

forやめろ -- LL Diver 2014 LT枠 Presentation Transcript for やめろ esehara shigeo お前 誰だ esehara shigeo 趣味:言語いじり FizzBuzzの研究 数論・数理論理学←New!! Pythonista Clojuren 最初に 結論を 時代は Staticおじさん から forおじさんへ では 始めます FizzB... 続きを読む

お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojimaの日記

2012/11/21 79 users hiroyukikojima 新書 朝倉書店 作者 予告

22:28　来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。一冊目は、鹿島亮『数理論理学』朝倉書店だ。数理論理学 (現代基礎数学)作者... 続きを読む

オンラインで入手できる数理論理学・数学基礎論のテキスト

2010/05/13 603 users 数学基礎論 テキスト オンライン グラフ 講義ノート

数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 Lou van den Dries, “Lecture notes: Mathematical Logic (Math 579).” [PDF] Stephen G. Simpson, “Lecture notes: Mathematical Log... 続きを読む