Submit Search
Upload
Fukuoka DSL Night 2011 08-25
•
0 likes
•
384 views
Akifumi Nambu
Follow
2011年8月25日のFukuoka DSL Nightで話した内容です。
Read less
Read more
Technology
Report
Share
Report
Share
1 of 19
Download now
Download to read offline
Recommended
写像の基本性質
写像の基本性質
政孝 鍋島
ジャズ和声を含む楽曲の組み合わせ範疇文法に基づく解析システムの実装
ジャズ和声を含む楽曲の組み合わせ範疇文法に基づく解析システムの実装
Takeshi Fukunari
2015年度春学期 画像情報処理 第11回 Granulometryとスケルトン
2015年度春学期 画像情報処理 第11回 Granulometryとスケルトン
Akira Asano
2014年度春学期 画像情報処理 第11回 Granulometryとスケルトン (2014. 7. 2.)
2014年度春学期 画像情報処理 第11回 Granulometryとスケルトン (2014. 7. 2.)
Akira Asano
2013年度春学期 画像情報処理 第11回「マセマティカル・モルフォロジ/Granulometryとスケルトン」
2013年度春学期 画像情報処理 第11回「マセマティカル・モルフォロジ/Granulometryとスケルトン」
Akira Asano
Nonlinear programming輪講スライド with 最適化法
Nonlinear programming輪講スライド with 最適化法
Yo Ehara
High quality imagedeblurringwitghpanchromaticpixels
High quality imagedeblurringwitghpanchromaticpixels
ishii yasunori
Processing
Processing
Akifumi Nambu
Recommended
写像の基本性質
写像の基本性質
政孝 鍋島
ジャズ和声を含む楽曲の組み合わせ範疇文法に基づく解析システムの実装
ジャズ和声を含む楽曲の組み合わせ範疇文法に基づく解析システムの実装
Takeshi Fukunari
2015年度春学期 画像情報処理 第11回 Granulometryとスケルトン
2015年度春学期 画像情報処理 第11回 Granulometryとスケルトン
Akira Asano
2014年度春学期 画像情報処理 第11回 Granulometryとスケルトン (2014. 7. 2.)
2014年度春学期 画像情報処理 第11回 Granulometryとスケルトン (2014. 7. 2.)
Akira Asano
2013年度春学期 画像情報処理 第11回「マセマティカル・モルフォロジ/Granulometryとスケルトン」
2013年度春学期 画像情報処理 第11回「マセマティカル・モルフォロジ/Granulometryとスケルトン」
Akira Asano
Nonlinear programming輪講スライド with 最適化法
Nonlinear programming輪講スライド with 最適化法
Yo Ehara
High quality imagedeblurringwitghpanchromaticpixels
High quality imagedeblurringwitghpanchromaticpixels
ishii yasunori
Processing
Processing
Akifumi Nambu
Voglia di pace
Voglia di pace
Elena Circelli
Arduino002
Arduino002
Akifumi Nambu
Dynamics of personal branding
Dynamics of personal branding
Lakshmi Rebecca
Voglia di pace
Voglia di pace
Elena Circelli
Tata ideation sathish
Tata ideation sathish
Prashanth Solai
Hafele Digital Door Viewers
Hafele Digital Door Viewers
Akshay Solanki
Digital Door Viewer by Hafele
Digital Door Viewer by Hafele
Akshay Solanki
Invitation for new year party
Invitation for new year party
Pooja Shreedharan
Curriculum Vitae Andrea Angeli
Curriculum Vitae Andrea Angeli
Andrea Angeli
Presentazione di Andrea Angeli
Presentazione di Andrea Angeli
Andrea Angeli
How to 10x your results from content with the same resources you have now
How to 10x your results from content with the same resources you have now
Mikael Cho
リファクタリング読書会20120220
リファクタリング読書会20120220
Suguru Shirai
リーダブルコード : このコード、読み易くなくなくない?
リーダブルコード : このコード、読み易くなくなくない?
Yoshiyuki MIYAGI
Lakshmi Rebecca Consultant Profile
Lakshmi Rebecca Consultant Profile
Lakshmi Rebecca
一人でも出来るコードリーディング
一人でも出来るコードリーディング
Taiyo Akashi
学ばないDSL
学ばないDSL
Kenta USAMI
Tata steel ideation submission
Tata steel ideation submission
Prashanth Solai
「いいコード」をみんなで書こう!
「いいコード」をみんなで書こう!
tq_ed
意図を表現するプログラミング
意図を表現するプログラミング
Atsuhiro Kubo
文芸的プログラミング
文芸的プログラミング
Shoko Sasaki
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
More Related Content
Viewers also liked
Voglia di pace
Voglia di pace
Elena Circelli
Arduino002
Arduino002
Akifumi Nambu
Dynamics of personal branding
Dynamics of personal branding
Lakshmi Rebecca
Voglia di pace
Voglia di pace
Elena Circelli
Tata ideation sathish
Tata ideation sathish
Prashanth Solai
Hafele Digital Door Viewers
Hafele Digital Door Viewers
Akshay Solanki
Digital Door Viewer by Hafele
Digital Door Viewer by Hafele
Akshay Solanki
Invitation for new year party
Invitation for new year party
Pooja Shreedharan
Curriculum Vitae Andrea Angeli
Curriculum Vitae Andrea Angeli
Andrea Angeli
Presentazione di Andrea Angeli
Presentazione di Andrea Angeli
Andrea Angeli
How to 10x your results from content with the same resources you have now
How to 10x your results from content with the same resources you have now
Mikael Cho
リファクタリング読書会20120220
リファクタリング読書会20120220
Suguru Shirai
リーダブルコード : このコード、読み易くなくなくない?
リーダブルコード : このコード、読み易くなくなくない?
Yoshiyuki MIYAGI
Lakshmi Rebecca Consultant Profile
Lakshmi Rebecca Consultant Profile
Lakshmi Rebecca
一人でも出来るコードリーディング
一人でも出来るコードリーディング
Taiyo Akashi
学ばないDSL
学ばないDSL
Kenta USAMI
Tata steel ideation submission
Tata steel ideation submission
Prashanth Solai
「いいコード」をみんなで書こう!
「いいコード」をみんなで書こう!
tq_ed
意図を表現するプログラミング
意図を表現するプログラミング
Atsuhiro Kubo
文芸的プログラミング
文芸的プログラミング
Shoko Sasaki
Viewers also liked
(20)
Voglia di pace
Voglia di pace
Arduino002
Arduino002
Dynamics of personal branding
Dynamics of personal branding
Voglia di pace
Voglia di pace
Tata ideation sathish
Tata ideation sathish
Hafele Digital Door Viewers
Hafele Digital Door Viewers
Digital Door Viewer by Hafele
Digital Door Viewer by Hafele
Invitation for new year party
Invitation for new year party
Curriculum Vitae Andrea Angeli
Curriculum Vitae Andrea Angeli
Presentazione di Andrea Angeli
Presentazione di Andrea Angeli
How to 10x your results from content with the same resources you have now
How to 10x your results from content with the same resources you have now
リファクタリング読書会20120220
リファクタリング読書会20120220
リーダブルコード : このコード、読み易くなくなくない?
リーダブルコード : このコード、読み易くなくなくない?
Lakshmi Rebecca Consultant Profile
Lakshmi Rebecca Consultant Profile
一人でも出来るコードリーディング
一人でも出来るコードリーディング
学ばないDSL
学ばないDSL
Tata steel ideation submission
Tata steel ideation submission
「いいコード」をみんなで書こう!
「いいコード」をみんなで書こう!
意図を表現するプログラミング
意図を表現するプログラミング
文芸的プログラミング
文芸的プログラミング
Recently uploaded
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
WSO2
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
sn679259
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
Recently uploaded
(12)
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
Fukuoka DSL Night 2011 08-25
1.
公理→論理→定理
2011/08/25 南部 晃史 @Ackey_pp
2.
G. W. Leibniz
人は誰でも計算だけで 現に最も困難な真理すら 判断することになるであろう 以降、人々はすでに 手中にしているものについて もはや論争することなく 新たな発見に向かうことになろう Gottfried Wilhelm Lebniz, 下村寅太郎他監修+澤口昭聿訳, 『ライプニッツ著作集 1 論理学』, 工作社, ISBN4-87502-149-6, 1988年
3.
G. W. Leibniz
論理って計算みたいなもんやから 規則に則ってやったら ちゃんと正しい答え出んねんで。 そやさけ、正しいかどうかなんて 機械に調べさせときゃええやん
4.
ことばのていぎ • 前から分かってることから新しいことを導く(*) • (*)の出発点を公理と呼ぶ •
(*)を繰り返して最終的に得られたものを定理と呼ぶ • (*)における導き方を推論規則と呼ぶ • 定理が得られるまでの(*)の繰り返しを証明と呼ぶ
5.
証明のイメージ 公理
命題 命題 定理 命題 命題
6.
公理と論理と定理 公理
定理 (大前提) (新事実) 論理 公理系 (推論規則) 証明
7.
公理系を定めれば 半ば機械的に定理が導ける
8.
多角形の決定条件
ある仮定から 全ての辺の長さと角の大きさが 決定するか
9.
多角形の決定条件 公理: (1) a, bが決定ならばa±bは決定である (2)
ABが決定ならばBAが決定である (3) ∠ABCが決定ならば∠CBAが決定である (4) AB, BC, CAが決定なら∠ABC, ∠BCA, ∠CABが決定 (5) AB, BC, ∠ABCが決定ならCA, ∠BCA, ∠CABが決定 (6) AB, ∠CAB, ∠ABCが決定ならCA, BC, ∠BCAが決定
10.
多角形の決定条件 推論規則: (1) PとP→QがあればQが得られる
(2) 任意の仮定Pを導入できる (3) PとQがこの順にあればP→Qを得て、 Pを仮定命題から外せる
11.
多角形の決定条件
仮 定 辺、対角線、内角のうち、いくつかが決定 結 論 全ての辺と内角が決定している または 決定しているものから導出されるもの全てが既に決定
12.
例
仮定: 四角形ABCDのAB, BC, CD,∠BCD,ACが決定
13.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 (a) 仮定と公理(2)に推論規則(1)を用いてCAが決定 ACが決定である。 公理(2)と推論規則(1)を用いてCAが決定
14.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 (b) 仮定と(a)と公理(4)に推論規則(1)を用いて ∠ABC, ∠BCA, ∠CABが決定される 仮定からAB, BCが決定。 (a)からCAが決定。 さらに公理(4)と推論規則(1)を用いて ∠ABC, ∠BCA, ∠CABが決定
15.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 (c) 仮定と公理(b)と公理(1)に推論規則(1)を用いて ∠ACDが決定される 仮定から∠BCDが決定。 (b)から∠BCAが決定。 さらに公理(1)と推論規則(1)を用いて ∠ACD(=∠BCD-∠BCA)が決定
16.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 (d) 仮定と(c)と公理(5)に推論規則(1)を用いて AD,∠CAD,∠ADCが決定される 仮定からAC,CDが決定。 (c)から∠ACDが決定。 さらに公理(5)と推論規則(1)を用いて AD,∠CAD,∠ADCが決定
17.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 (e) (a)と(d)と公理(1)に推論規則(1)を用いて ∠DABが決定される (b)から∠CABが決定。 (d)から∠CADが決定。 さらに公理(1)と推論規則(1)を用いて ∠DABが決定
18.
例 仮定: 四角形ABCDのAB, BC,
CD,∠BCD,ACが決定 仮定と公理から AB, BC, CD, DA ∠ABC, ∠BCD, ∠CDA, ∠DAB が決定した!
19.
まとめ
公理系を指定して 公理から推論規則をたどると 何か面白い定理が見つけられるんじゃない?
Download now