Submit Search
Upload
ゆとりが数週間でC++を始めるようです
•
3 likes
•
3,254 views
Eric Sartre
Follow
Boost勉強会@つくば で発表したときの資料です
Read less
Read more
Technology
Report
Share
Report
Share
1 of 45
Download now
Download to read offline
Recommended
V6でJIT・部分適用・継続
V6でJIT・部分適用・継続
7shi
Lions本合宿のLT資料です。
マーク&スイープ勉強会
マーク&スイープ勉強会
7shi
マーク&スイープ勉強会の発表資料です。
Coq 20100208a
Coq 20100208a
tmiya
第1回FormalMethods勉強会
CLR/H No.35-2
CLR/H No.35-2
Nobuhisa Koizumi
Session2の内容
ドキッ!記号だらけの無名関数
ドキッ!記号だらけの無名関数
Shinya Hayakawa
Shibuya Perl Mongersテクニカルトーク#17でのLTです。
研究生のためのC++ no.2
研究生のためのC++ no.2
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 二回目はC/C++の基礎。
C++14 Overview
C++14 Overview
Akira Takahashi
Enshu8
Enshu8
sudahiroshi
Recommended
V6でJIT・部分適用・継続
V6でJIT・部分適用・継続
7shi
Lions本合宿のLT資料です。
マーク&スイープ勉強会
マーク&スイープ勉強会
7shi
マーク&スイープ勉強会の発表資料です。
Coq 20100208a
Coq 20100208a
tmiya
第1回FormalMethods勉強会
CLR/H No.35-2
CLR/H No.35-2
Nobuhisa Koizumi
Session2の内容
ドキッ!記号だらけの無名関数
ドキッ!記号だらけの無名関数
Shinya Hayakawa
Shibuya Perl Mongersテクニカルトーク#17でのLTです。
研究生のためのC++ no.2
研究生のためのC++ no.2
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 二回目はC/C++の基礎。
C++14 Overview
C++14 Overview
Akira Takahashi
Enshu8
Enshu8
sudahiroshi
研究生のためのC++ no.7
研究生のためのC++ no.7
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 七回目はプログラムの高速化。最適化、マルチスレッド等。
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
20150928楽しいlambda
20150928楽しいlambda
Norifumi Homma
2015/9/28にLOUPEさんと開催した勉強会用スライドです。 Lambdaの使いどころを掻い摘まんで説明しました。
C++ ポインタ ブートキャンプ
C++ ポインタ ブートキャンプ
Kohsuke Yuasa
Sapporo.cpp & CLR/H 合同勉強会 ( http://atnd.org/events/33614 ) で発表したスライドです。
Emcjp item33,34
Emcjp item33,34
MITSUNARI Shigeo
Effective Modern C++勉強会#7 https://github.com/herumi/emcjp/blob/master/readme.md
Emcjp item21
Emcjp item21
MITSUNARI Shigeo
Effective Modern C++ item21
Cython ことはじめ
Cython ことはじめ
gion_XY
IGGG Meetup 2015 Spring の資料
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
関数型LT▽たいかい
Wrapping a C++ library with Cython
Wrapping a C++ library with Cython
fuzzysphere
Warshall froyd
Warshall froyd
MatsuiRyo
ワーシャルフロイド法概要・実装
Python 3.6 リリースパーティー 発表資料
Python 3.6 リリースパーティー 発表資料
Atsuo Ishimoto
Python3.6の新機能紹介
数値計算のための Python + FPGA
数値計算のための Python + FPGA
ryos36
Polyphony (Python による高位合成) を研究者の数値計算に役立てるための企画書。2017 の段階の、構想が入っているので注意。
クロージャデザインパターン
クロージャデザインパターン
Moriharu Ohzu
CEDEC2015講演時のスライドに解説をつけました。
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
2011-09-25 に行われた ProofSummit でのLTの発表資料。
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
Hiroaki KOBAYASHI
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 四回目はテンプレート。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Effective Modern C++ 読書会 Item 35
Effective Modern C++ 読書会 Item 35
Keisuke Fukuda
発表資料です
Polyphony IO まとめ
Polyphony IO まとめ
ryos36
Polyphony に IO の機能が付き始めたので、それをまとめてみた。説明が足りないが、社内資料ということで
LLdeade Python Language Update
LLdeade Python Language Update
Atsushi Shibata
This is the slide of 15 minutes talk at the annual lightweight language event in Japan, which mentions to past decade and future of Python language.
やさしい日本語言い換えシステムを支える技術
やさしい日本語言い換えシステムを支える技術
Eric Sartre
coinsLT #1で話した(けど途中までしか話せなかった)内容。ルールベースの言い換えシステムの効率的な実装の内部を説明。
「わからない」との付き合い方
「わからない」との付き合い方
Eric Sartre
勉強していて「わからない」となる5つの原因を紹介しました
More Related Content
What's hot
研究生のためのC++ no.7
研究生のためのC++ no.7
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 七回目はプログラムの高速化。最適化、マルチスレッド等。
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
kikairoya
20150928楽しいlambda
20150928楽しいlambda
Norifumi Homma
2015/9/28にLOUPEさんと開催した勉強会用スライドです。 Lambdaの使いどころを掻い摘まんで説明しました。
C++ ポインタ ブートキャンプ
C++ ポインタ ブートキャンプ
Kohsuke Yuasa
Sapporo.cpp & CLR/H 合同勉強会 ( http://atnd.org/events/33614 ) で発表したスライドです。
Emcjp item33,34
Emcjp item33,34
MITSUNARI Shigeo
Effective Modern C++勉強会#7 https://github.com/herumi/emcjp/blob/master/readme.md
Emcjp item21
Emcjp item21
MITSUNARI Shigeo
Effective Modern C++ item21
Cython ことはじめ
Cython ことはじめ
gion_XY
IGGG Meetup 2015 Spring の資料
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
blackenedgold
関数型LT▽たいかい
Wrapping a C++ library with Cython
Wrapping a C++ library with Cython
fuzzysphere
Warshall froyd
Warshall froyd
MatsuiRyo
ワーシャルフロイド法概要・実装
Python 3.6 リリースパーティー 発表資料
Python 3.6 リリースパーティー 発表資料
Atsuo Ishimoto
Python3.6の新機能紹介
数値計算のための Python + FPGA
数値計算のための Python + FPGA
ryos36
Polyphony (Python による高位合成) を研究者の数値計算に役立てるための企画書。2017 の段階の、構想が入っているので注意。
クロージャデザインパターン
クロージャデザインパターン
Moriharu Ohzu
CEDEC2015講演時のスライドに解説をつけました。
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
2011-09-25 に行われた ProofSummit でのLTの発表資料。
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
Hiroaki KOBAYASHI
研究生のためのC++ no.4
研究生のためのC++ no.4
Tomohiro Namba
研究室のゼミの資料。研究に役立つC++入門。 四回目はテンプレート。
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Kazuyuki TAKASE
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。
Effective Modern C++ 読書会 Item 35
Effective Modern C++ 読書会 Item 35
Keisuke Fukuda
発表資料です
Polyphony IO まとめ
Polyphony IO まとめ
ryos36
Polyphony に IO の機能が付き始めたので、それをまとめてみた。説明が足りないが、社内資料ということで
LLdeade Python Language Update
LLdeade Python Language Update
Atsushi Shibata
This is the slide of 15 minutes talk at the annual lightweight language event in Japan, which mentions to past decade and future of Python language.
What's hot
(20)
研究生のためのC++ no.7
研究生のためのC++ no.7
組み込みでこそC++を使う10の理由
組み込みでこそC++を使う10の理由
20150928楽しいlambda
20150928楽しいlambda
C++ ポインタ ブートキャンプ
C++ ポインタ ブートキャンプ
Emcjp item33,34
Emcjp item33,34
Emcjp item21
Emcjp item21
Cython ことはじめ
Cython ことはじめ
(define)なしで再帰関数を定義する
(define)なしで再帰関数を定義する
Wrapping a C++ library with Cython
Wrapping a C++ library with Cython
Warshall froyd
Warshall froyd
Python 3.6 リリースパーティー 発表資料
Python 3.6 リリースパーティー 発表資料
数値計算のための Python + FPGA
数値計算のための Python + FPGA
クロージャデザインパターン
クロージャデザインパターン
自動定理証明の紹介
自動定理証明の紹介
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
YATT::Lite - PSGI を直接サポートしたテンプレートエンジン at #plackcon
研究生のためのC++ no.4
研究生のためのC++ no.4
Scala 初心者が米田の補題を Scala で考えてみた
Scala 初心者が米田の補題を Scala で考えてみた
Effective Modern C++ 読書会 Item 35
Effective Modern C++ 読書会 Item 35
Polyphony IO まとめ
Polyphony IO まとめ
LLdeade Python Language Update
LLdeade Python Language Update
More from Eric Sartre
やさしい日本語言い換えシステムを支える技術
やさしい日本語言い換えシステムを支える技術
Eric Sartre
coinsLT #1で話した(けど途中までしか話せなかった)内容。ルールベースの言い換えシステムの効率的な実装の内部を説明。
「わからない」との付き合い方
「わからない」との付き合い方
Eric Sartre
勉強していて「わからない」となる5つの原因を紹介しました
正則化つき線形モデル(「入門機械学習第6章」より)
正則化つき線形モデル(「入門機械学習第6章」より)
Eric Sartre
ネトゲで人生を変えたい
ネトゲで人生を変えたい
Eric Sartre
ネトゲで人生を変えようとした話とemacsをいじめたかった話
Emacsいじめの現場
Emacsいじめの現場
Eric Sartre
Vim陣営としてEmacsを完膚なきまでに虐めます。 ※発表者は別にEmacsがクソだとは微塵も思っていません
初めてのCPUを作ってみた
初めてのCPUを作ってみた
Eric Sartre
2/16にカーネル/VM探検隊@関西で発表した内容です。初めてのCPUを作ってみた。でもそのCPUはちょっと変わってて…?
どたばたかいぎ成果発表
どたばたかいぎ成果発表
Eric Sartre
Twitter即時話題推定技術「どたばたかいぎ」の2012.10時点での成果発表です。
upcamp発表
upcamp発表
Eric Sartre
Twitterにおける即時話題推定技術「どたばたかいぎ」の開発
Twitterにおける即時話題推定技術「どたばたかいぎ」の開発
Eric Sartre
産学官連携推進室のTwitterのつぶやきの話題推定技術に関する研究成果の報告です。
つくっておぼえる!仮想マシン〜直前で実装編〜
つくっておぼえる!仮想マシン〜直前で実装編〜
Eric Sartre
第7回 カーネル/VM探検隊で発表した、ErlangとHaskellでMIPSアーキテクチャのVMを作ったお話です。
ぼくとしりとりの約3.0*10^3日間戦争
ぼくとしりとりの約3.0*10^3日間戦争
Eric Sartre
More from Eric Sartre
(11)
やさしい日本語言い換えシステムを支える技術
やさしい日本語言い換えシステムを支える技術
「わからない」との付き合い方
「わからない」との付き合い方
正則化つき線形モデル(「入門機械学習第6章」より)
正則化つき線形モデル(「入門機械学習第6章」より)
ネトゲで人生を変えたい
ネトゲで人生を変えたい
Emacsいじめの現場
Emacsいじめの現場
初めてのCPUを作ってみた
初めてのCPUを作ってみた
どたばたかいぎ成果発表
どたばたかいぎ成果発表
upcamp発表
upcamp発表
Twitterにおける即時話題推定技術「どたばたかいぎ」の開発
Twitterにおける即時話題推定技術「どたばたかいぎ」の開発
つくっておぼえる!仮想マシン〜直前で実装編〜
つくっておぼえる!仮想マシン〜直前で実装編〜
ぼくとしりとりの約3.0*10^3日間戦争
ぼくとしりとりの約3.0*10^3日間戦争
Recently uploaded
ロジックから状態を分離する技術/設計ナイト2024 by わいとん @ytnobody
ロジックから状態を分離する技術/設計ナイト2024 by わいとん @ytnobody
azuma satoshi
設計ナイト2024にて発表した内容になります。
Humanoid Virtual Athletics Challenge2024 技術講習会 スライド
Humanoid Virtual Athletics Challenge2024 技術講習会 スライド
tazaki1
HVAC2024第1回 技術講習会 スライド
「進化するアプリ イマ×ミライ ~生成AIアプリへ続く道と新時代のアプリとは~」Interop24Tokyo APPS JAPAN B1-01講演
「進化するアプリ イマ×ミライ ~生成AIアプリへ続く道と新時代のアプリとは~」Interop24Tokyo APPS JAPAN B1-01講演
嶋 是一 (Yoshikazu SHIMA)
進化するアプリ イマ×ミライ ~生成AIアプリへ続く道と新時代のアプリとは~ 2024/6/12~14まで幕張メッセで開催されました、インターロップ併設アプリジャパンの展示会場内ROOM Bで、10:30~11:10の枠で登壇させてもらいましたセッション資料を公開します。
ハイブリッドクラウド研究会_Hyper-VとSystem Center Virtual Machine Manager セッションMM
ハイブリッドクラウド研究会_Hyper-VとSystem Center Virtual Machine Manager セッションMM
osamut
Hyper-V and SCVMM
Generating Automatic Feedback on UI Mockups with Large Language Models
Generating Automatic Feedback on UI Mockups with Large Language Models
harmonylab
Generating Automatic Feedback on UI Mockups with Large Language Modelsを和訳紹介したものです
生成AIがもたらすコンテンツ経済圏の新時代 The New Era of Content Economy Brought by Generative AI
生成AIがもたらすコンテンツ経済圏の新時代 The New Era of Content Economy Brought by Generative AI
Osaka University
、コンテンツ制作の主体をプロのクリエーターからユーザーへと移行させている現状をご存じの方も多いでしょう。現在、画像コンテンツ制作現場では生成AIがクリエーターを支援するツールとして利用されています。セミナーでは、画像生成における自動化の境界についての議論が予定されています。 AIの利用には著作権や倫理的な問題も伴いますが、クリエーターとAIが共存し、センシング技術と統合することで新しい形のコンテンツが生み出されることが期待されています。
論文紹介:Deep Learning-Based Human Pose Estimation: A Survey
論文紹介:Deep Learning-Based Human Pose Estimation: A Survey
Toru Tamaki
Ce Zheng, Wenhan Wu, Chen Chen, Taojiannan Yang, Sijie Zhu, Ju Shen, Nasser Kehtarnavaz, Mubarak Shah, "Deep Learning-Based Human Pose Estimation: A Survey" arXiv2020 https://arxiv.org/abs/2012.13392
Recently uploaded
(7)
ロジックから状態を分離する技術/設計ナイト2024 by わいとん @ytnobody
ロジックから状態を分離する技術/設計ナイト2024 by わいとん @ytnobody
Humanoid Virtual Athletics Challenge2024 技術講習会 スライド
Humanoid Virtual Athletics Challenge2024 技術講習会 スライド
「進化するアプリ イマ×ミライ ~生成AIアプリへ続く道と新時代のアプリとは~」Interop24Tokyo APPS JAPAN B1-01講演
「進化するアプリ イマ×ミライ ~生成AIアプリへ続く道と新時代のアプリとは~」Interop24Tokyo APPS JAPAN B1-01講演
ハイブリッドクラウド研究会_Hyper-VとSystem Center Virtual Machine Manager セッションMM
ハイブリッドクラウド研究会_Hyper-VとSystem Center Virtual Machine Manager セッションMM
Generating Automatic Feedback on UI Mockups with Large Language Models
Generating Automatic Feedback on UI Mockups with Large Language Models
生成AIがもたらすコンテンツ経済圏の新時代 The New Era of Content Economy Brought by Generative AI
生成AIがもたらすコンテンツ経済圏の新時代 The New Era of Content Economy Brought by Generative AI
論文紹介:Deep Learning-Based Human Pose Estimation: A Survey
論文紹介:Deep Learning-Based Human Pose Estimation: A Survey
ゆとりが数週間でC++を始めるようです
1.
ゆとりが数週間でC++を 始めるようです
えりっく さーとる
2.
すみません 数週間も やってないです
3.
ゆとりが数日間でC++を 始めるようです
えりっく さーとる
4.
ゆとりが数日間でC++を
始めるようです • えりっく さーとる(@siritori) • ここの情報科学類2年生 • C++わかんない • 論理やったり(Alloy) • 分散しようとしたり(Erlang) • 自然言語処理しようとしたり • こういうタイトルで発表するのって どうかと思いますよねorz
5.
ゆとりが数日間でC++を
始めるようです • 水曜日(23日)から勉強開始 • C++歴 : 3日 • コケたとことか挙げてみます • 勉強がてら作ったものとか紹介します
6.
なんで勉強始めたの • Boost勉強会のためだけじゃない • いろいろCで書くの好きなんだけど
– 型がガバガバで書いてて不安 – C99に走ったもののそろそろ我慢の限界 – staticでnamespace絞って – 関数ポインタで柔軟に書いて – もう...ゴールしてもいいよね... • それに「C++書けます!」って
7.
なんで勉強始めたの • Boost勉強会のためだけじゃない • いろいろCで書くの好きなんだけど
– 型がガバガバで書いてて不安 – C99に走ったもののそろそろ我慢の限界 – staticでnamespace絞って – 関数ポインタで柔軟に書いて – もう...ゴールしてもいいよね... • それに「C++書けます!」って
8.
つらかった ところ その1
9.
「使うな!」 っていう仕様が大杉
把握してるだけでも ・auto_ptr ・独立参照 ・const_cast ・protected
10.
「使うな!」 っていう仕様が大杉
把握してるだけでも ・auto_ptr ・独立参照 ・const_cast ・protected お前は ハウルの動く城か
11.
つらかった ところ その2
12.
「これでもか!!」 ってくらいの エラーメッセージ
ちょっと間違えた だけじゃん(́;ω;`) そりゃ、メッセー ジは細かいほうが いいけどさ...
13.
とりあえず • 2日で『独習C++』を読み終えた • 『C++
Coding Standards』をさらっと だけ読んでわかった気になった • なんかいい題材無いかな... • JavaもどきじゃなくてちゃんとC++でき るなにかがいいな...
14.
とりあえず
15.
とりあえず
16.
で。 • 「論理と形式化」という大学の講義のプ
リントを偶然発見。 • ふと証明木に目が行く。 • うん。これ書こう。
17.
で。 • 「論理と形式化」という大学の講義のプ
リントを偶然発見。 • ふと証明木に目が行く。 • うん。これ書こう。
18.
自然演繹法(Natural Deduction)?
19.
自然演繹法(Natural Deduction)? • すみません調子乗りました •
9つの規則に基づく証明理論の手法 • プログラミング言語の型システムとかはこ れで論じるとわかりやすいんだとか • 命題論理に対応する自然演繹の体系NKを 実装する。 • ※ガチ勢じゃないのであんまり突っ込ま ないで下さい(́・ω:;.:...
20.
証明木の例 こやつを証明したい
とする A∧B⇒B∧A
21.
証明木の例
仮定aからB Aが導け ればOK [a:A∧B] ⊃I,a A∧B⇒B∧A
22.
証明木の例
A BなんだからBは成 り立つよね [a:A∧B] ∧E2 B ⊃I,a A∧B⇒B∧A
23.
証明木の例 A BなんだからAは成 り立つよね
[a:A∧B] [a:A∧B] ∧E2 ∧E 1 B A ⊃I,a A∧B⇒B∧A
24.
証明木の例
BもAも成り立つから、 B Aっていえるよね [a:A∧B] [a:A∧B] ∧E 2 ∧E 1 B A ∧I ⊃I,a B∧A A∧B⇒B∧A
25.
証明木の例
[a:A∧B] [a:A∧B] ∧E 2 ∧E 1 B A ∧I ⊃I,a B∧A A∧B⇒B∧A
26.
で、なにをつくるの • ゴールと仮定があって、それに規則を適用
する感じのsomethingをつくる • Coqの超絶劣化版 • 自動証明器まではさすがにぼくの技量と時 間ではどうしようもありませんでしたorz
27.
設計 • 命題を表すPropクラス • 証明を表すTheoremクラス •
規則たちをまとめたnamespace, Rule • PropもTheoremも挿入子(<<)が使えるよ うに書く • Theoremは仮定と結論からなる • 仮定が無しで結論が言えたらQ.E.D
28.
Prop class Prop { public:
virtual PropType type() const = 0; friend ostream &operator<<(ostream &stream, const Prop *p) { return p->print(stream); } private: virtual ostream &print(ostream &stream) const = 0; };
29.
Prop OrProp : public
Prop { const Prop *lp_; const Prop *rp_; public: explicit OrProp(const Prop *lp, const Prop *rp):lp_(lp),rp_(rp){} private: ostream &print(ostream &stream) const { if(OR >= lp_->type()) stream << "(" << lp_ << ")"; else stream << lp_; stream << " ∨ "; if(OR > rp_->type()) stream << "(" << rp_ << ")"; else stream << rp_; return stream; } };
30.
Theorem • ちょっと複雑なのでコード割愛 • 仮定(Asp)と結論(Con)を受け取るコンス
トラクタ何種類か用意 – ハイチュウ排中律とか – 右と左の仮定のマージとか – 仮定単体とか • もうポインタ嫌い(́;ω;`)
31.
Rule • Theoremとなにかを受け取って新しい
Theoremを返すなにか • Aの証明とBの証明を受け取ってA Bとい う結論の証明を返す Theorem *and_intro(Theorem *t1, Theorem *t2) とかいうの書きました
32.
で、どんなのできたの Theorem *a =
new Theorem( new AndProp( new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl; Theorem *t1 = Rule::and_elim2(a); cout << t1 << endl; Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl; Theorem *t3 = Rule::and_intro(t1, t2); cout << t3 << endl; Theorem *con = Rule::implication_intro(t3, 'a'); cout << con << endl;
33.
で、どんなのできたの Theorem *a =
new Theorem( new AndProp( new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl; Theorem *t1 = Rule::and_elim2(a); cout << t1 << endl; [a : A B]をつくる Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl; Theorem *t3 = Rule::and_intro(t1, t2); cout << t3 << endl; Theorem *con = Rule::implication_intro(t3, 'a'); cout << con << endl;
34.
で、どんなのできたの Theorem *a =
new Theorem( [a:A B]から new AndProp( BとAを導く new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl; Theorem *t1 = Rule::and_elim2(a); cout << t1 << endl; Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl; Theorem *t3 = Rule::and_intro(t1, t2); cout << t3 << endl; Theorem *con = Rule::implication_intro(t3, 'a'); cout << con << endl;
35.
で、どんなのできたの Theorem *a =
new Theorem( new AndProp( new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl; BとAから Theorem *t1 = Rule::and_elim2(a); cout << t1 << endl; B Aを導く Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl; Theorem *t3 = Rule::and_intro(t1, t2); cout << t3 << endl; Theorem *con = Rule::implication_intro(t3, 'a'); cout << con << endl;
36.
で、どんなのできたの Theorem *a =
new Theorem( new AndProp( new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl; Theorem *t1 = Rule::and_elim2(a); cout << t1 << endl; B Aと仮定aから Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl; A B B Aを導く Theorem *t3 = Rule::and_intro(t1, t2); cout << t3 << endl; Theorem *con = Rule::implication_intro(t3, 'a'); cout << con << endl;
37.
実行すると Theorem *a =
new Theorem( new AndProp( new AtomicProp('A'), new AtomicProp('B') ),'a'); cout << a << endl;
38.
実行すると Theorem *t1 =
Rule::and_elim2(a); cout << t1 << endl; Theorem *t2 = Rule::and_elim1(a); cout << t2 << endl;
39.
実行すると Theorem *t3 =
Rule::and_intro(t1, t2); cout << t3 << endl;
40.
実行すると Theorem *con =
Rule::implication_intro(t3, 'a'); cout << con << endl;
41.
仮定なしで導けた→証明完了
,.へ ___ ム i 「 ヒ_i〉 ゝ 〈 ト ノ iニ(() i { ____ | ヽ i i /__, , ‐-\ i } | i /(●) ( ● )\ {、 λ ト‐┤. / (__人__) \ ,ノ  ̄ ,! i ゝ、_ | ´ ̄` | ,. '´ハ ,! . ヽ、 `` 、,__\ /" \ ヽ/ \ノ ノ ハ ̄r/:::r―--―/::7 ノ / ヽ. ヽ::〈; . '::. :' |::/ / ,. " `ー 、 \ヽ::. ;:::|/ r'" / ̄二二二二二二二二二二二二二二二二ヽ | | 動作確認 │| \_二二二二二二二二二二二二二二二二ノ
42.
おぼえたこと • 演算子オーバーロードってすごい –
泣きながら関数定義してたCがバカみたい • clang++の優しさに泣く – ありがとう、キミのお陰でめげずにいられた • すみません... constを前置してすみません... • いろんな書き方ができるせいで流儀を身に 付けるまでに結構な時間がかかりそう • 闇の軍団の人たち優しい(何度も助けられ ながらお勉強しました)
43.
で、結局のところ Boostは使ってないの?
44.
45.
ご清聴ありがとう ございました(ノ)・ω・(ヾ)
https://gist.github.com/2782220 大々的に添削していただけるととても嬉しいです!
Download now