Submit Search
Upload
「行けたら行く」の論理構造 〜きっと君は来ない〜
•
13 likes
•
14,414 views
A
ajisaka motcho
Follow
12/24開催の第4回「ロマンティック数学ナイト」での発表に使用した資料です。「行けたら行く」と言う人はなぜ来ないのかを論理的な観点から明らかにします。
Read less
Read more
Education
Report
Share
Report
Share
1 of 46
Download now
Download to read offline
Recommended
データ分析基盤運⽤チームの 運⽤業務を改善してみた話
データ分析基盤運⽤チームの 運⽤業務を改善してみた話
Recruit Lifestyle Co., Ltd.
MIRU2014 tutorial deeplearning
MIRU2014 tutorial deeplearning
Takayoshi Yamashita
Apache Hadoop & Hive 入門 (マーケティングデータ分析基盤技術勉強会)
Apache Hadoop & Hive 入門 (マーケティングデータ分析基盤技術勉強会)
Takeshi Mikami
失敗から学ぶ機械学習応用
失敗から学ぶ機械学習応用
Hiroyuki Masuda
Apache Kafkaでの大量データ処理がKubernetesで簡単にできて嬉しかった話
Apache Kafkaでの大量データ処理がKubernetesで簡単にできて嬉しかった話
MicroAd, Inc.(Engineer)
【2017年】ディープラーニングのフレームワーク比較
【2017年】ディープラーニングのフレームワーク比較
Ryota Suzuki
HA環境構築のベスト・プラクティス
HA環境構築のベスト・プラクティス
EnterpriseDB
オンプレML基盤on Kubernetes パネルディスカッション
オンプレML基盤on Kubernetes パネルディスカッション
Yahoo!デベロッパーネットワーク
Recommended
データ分析基盤運⽤チームの 運⽤業務を改善してみた話
データ分析基盤運⽤チームの 運⽤業務を改善してみた話
Recruit Lifestyle Co., Ltd.
MIRU2014 tutorial deeplearning
MIRU2014 tutorial deeplearning
Takayoshi Yamashita
Apache Hadoop & Hive 入門 (マーケティングデータ分析基盤技術勉強会)
Apache Hadoop & Hive 入門 (マーケティングデータ分析基盤技術勉強会)
Takeshi Mikami
失敗から学ぶ機械学習応用
失敗から学ぶ機械学習応用
Hiroyuki Masuda
Apache Kafkaでの大量データ処理がKubernetesで簡単にできて嬉しかった話
Apache Kafkaでの大量データ処理がKubernetesで簡単にできて嬉しかった話
MicroAd, Inc.(Engineer)
【2017年】ディープラーニングのフレームワーク比較
【2017年】ディープラーニングのフレームワーク比較
Ryota Suzuki
HA環境構築のベスト・プラクティス
HA環境構築のベスト・プラクティス
EnterpriseDB
オンプレML基盤on Kubernetes パネルディスカッション
オンプレML基盤on Kubernetes パネルディスカッション
Yahoo!デベロッパーネットワーク
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Yahoo!デベロッパーネットワーク
Hive on Tezのベストプラクティス
Hive on Tezのベストプラクティス
Yahoo!デベロッパーネットワーク
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
Takatoshi Matsuo
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
Deep Learning JP
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
Masakazu Mori
PHPで大規模ブラウザゲームを開発してわかったこと
PHPで大規模ブラウザゲームを開発してわかったこと
Kentaro Matsui
技術紹介: S2E: Selective Symbolic Execution Engine
技術紹介: S2E: Selective Symbolic Execution Engine
Asuka Nakajima
A critique of ansi sql isolation levels 解説公開用
A critique of ansi sql isolation levels 解説公開用
Takashi Kambayashi
分散環境におけるDocker とオーケストレーション
分散環境におけるDocker とオーケストレーション
Masahito Zembutsu
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
Yahoo!デベロッパーネットワーク
バッチは地味だが役に立つ
バッチは地味だが役に立つ
apkiban
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
NTT DATA Technology & Innovation
AutoGluonではじめるAutoML
AutoGluonではじめるAutoML
西岡 賢一郎
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
NTT DATA Technology & Innovation
Transformerを雰囲気で理解する
Transformerを雰囲気で理解する
AtsukiYamaguchi1
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
hamaken
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
Deep Learning JP
Coreset+SVM (論文紹介)
Coreset+SVM (論文紹介)
Naotaka Yamada
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
NTT DATA Technology & Innovation
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
NTT DATA Technology & Innovation
International Politics I - Lecture 1
International Politics I - Lecture 1
Toru Oga
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
shu1108hina1020
More Related Content
What's hot
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Yahoo!デベロッパーネットワーク
Hive on Tezのベストプラクティス
Hive on Tezのベストプラクティス
Yahoo!デベロッパーネットワーク
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
Takatoshi Matsuo
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
Deep Learning JP
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
Masakazu Mori
PHPで大規模ブラウザゲームを開発してわかったこと
PHPで大規模ブラウザゲームを開発してわかったこと
Kentaro Matsui
技術紹介: S2E: Selective Symbolic Execution Engine
技術紹介: S2E: Selective Symbolic Execution Engine
Asuka Nakajima
A critique of ansi sql isolation levels 解説公開用
A critique of ansi sql isolation levels 解説公開用
Takashi Kambayashi
分散環境におけるDocker とオーケストレーション
分散環境におけるDocker とオーケストレーション
Masahito Zembutsu
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
Yahoo!デベロッパーネットワーク
バッチは地味だが役に立つ
バッチは地味だが役に立つ
apkiban
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
NTT DATA Technology & Innovation
AutoGluonではじめるAutoML
AutoGluonではじめるAutoML
西岡 賢一郎
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
NTT DATA Technology & Innovation
Transformerを雰囲気で理解する
Transformerを雰囲気で理解する
AtsukiYamaguchi1
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
hamaken
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
Deep Learning JP
Coreset+SVM (論文紹介)
Coreset+SVM (論文紹介)
Naotaka Yamada
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
NTT DATA Technology & Innovation
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
NTT DATA Technology & Innovation
What's hot
(20)
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Prestoクエリログの保存/分析機能の構築 #yjdsnight
Hive on Tezのベストプラクティス
Hive on Tezのベストプラクティス
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
Pacemaker+PostgreSQLレプリケーションで共有ディスクレス高信頼クラスタの構築@OSC 2013 Tokyo/Spring
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
[DL輪読会]EfficientDet: Scalable and Efficient Object Detection
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
未来を予測せよ 〜あるエンジニアが挑んだKaggleコンペの軌跡〜
PHPで大規模ブラウザゲームを開発してわかったこと
PHPで大規模ブラウザゲームを開発してわかったこと
技術紹介: S2E: Selective Symbolic Execution Engine
技術紹介: S2E: Selective Symbolic Execution Engine
A critique of ansi sql isolation levels 解説公開用
A critique of ansi sql isolation levels 解説公開用
分散環境におけるDocker とオーケストレーション
分散環境におけるDocker とオーケストレーション
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
Yahoo! JAPANを支えるビッグデータプラットフォーム技術
バッチは地味だが役に立つ
バッチは地味だが役に立つ
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
大規模データ活用向けストレージレイヤソフトのこれまでとこれから(NTTデータ テクノロジーカンファレンス 2019 講演資料、2019/09/05)
AutoGluonではじめるAutoML
AutoGluonではじめるAutoML
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
スケールアウトするPostgreSQLを目指して!その第一歩!(NTTデータ テクノロジーカンファレンス 2020 発表資料)
Transformerを雰囲気で理解する
Transformerを雰囲気で理解する
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
40分でわかるHadoop徹底入門 (Cloudera World Tokyo 2014 講演資料)
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
【DL輪読会】Responsive Safety in Reinforcement Learning by PID Lagrangian Methods...
Coreset+SVM (論文紹介)
Coreset+SVM (論文紹介)
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
データインターフェースとしてのHadoop ~HDFSとクラウドストレージと私~ (NTTデータ テクノロジーカンファレンス 2019 講演資料、2019...
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
押さえておきたい、PostgreSQL 13 の新機能!!(Open Source Conference 2021 Online/Hokkaido 発表資料)
Recently uploaded
International Politics I - Lecture 1
International Politics I - Lecture 1
Toru Oga
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
shu1108hina1020
What I did before opening my business..pdf
What I did before opening my business..pdf
oganekyokoi
KARAPATANG PANTAO.pptxhrhrhrhrhrhrhrhrhr
KARAPATANG PANTAO.pptxhrhrhrhrhrhrhrhrhr
RodolfFernandez1
Establishment and operation of medical corporations.pdf
Establishment and operation of medical corporations.pdf
oganekyokoi
Divorce agreements in administrative work.pdf
Divorce agreements in administrative work.pdf
oganekyokoi
Recently uploaded
(6)
International Politics I - Lecture 1
International Politics I - Lecture 1
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
What I did before opening my business..pdf
What I did before opening my business..pdf
KARAPATANG PANTAO.pptxhrhrhrhrhrhrhrhrhr
KARAPATANG PANTAO.pptxhrhrhrhrhrhrhrhrhr
Establishment and operation of medical corporations.pdf
Establishment and operation of medical corporations.pdf
Divorce agreements in administrative work.pdf
Divorce agreements in administrative work.pdf
「行けたら行く」の論理構造 〜きっと君は来ない〜
1.
「行けたら行く」の論理構造 〜きっと君は来ない〜 鯵坂もっちょ
2.
・ブログ「アジマティクス」 ・わかりやすい文章がかけます こういう者です
3.
行けたら行く
4.
クリスマスなんだけど もしよかったら…
5.
6.
行けたら行く
7.
行けたら行く ※来ない
8.
信用できない言葉 ・行けたら行く ・ごめん寝てた ・全然勉強してない ・お年玉、貯金しといたから ・怒らないから正直に言いなさい ・この分野には詳しくないので 素人質問で恐縮なのですが ・何もしないから・先っちょだけだから
9.
信用できない言葉 ・行けたら行く ・ごめん寝てた ・全然勉強してない ・お年玉、貯金しといたから ・怒らないから正直に言いなさい ・この分野には詳しくないので 素人質問で恐縮なのですが ・何もしないから 信用できない言葉 なぜ来ないのか? 本日のテーマ
10.
命題 正しいか正しくないか(真偽)が 判定できる(ことが期待されている) 文のこと。 その前に一つ用語を
11.
命題 正しいか正しくないか(真偽)が 判定できる(ことが期待されている) 文のこと。 例: 1+1=2。りんごは赤い。12/24は正月。 命題でない例: おはよう。なんでやねん。掃除しろ
12.
命題 正しいか正しくないか(真偽)が 判定できる(ことが期待されている) 文のこと。 例: 1+1=2。りんごは赤い。12/24は正月。 命題でない例: おはよう。なんでやねん。掃除しろその文について「ウソ(偽)」とか 「ホント(真)」とか言えるやつは命題
13.
行けたら行く そういう観点で捉えると、 2つの命題を見出すことができる
14.
行けたら行く 行ける 行く
15.
「行ける」と「行く」との組み合わせで できている文は 行ける 行く 2×2=4通りの状態を考えることができる かどうか(真偽) かどうか(真偽)
16.
行ける 行く 真 真 偽 偽
17.
行ける 行く 真 真 偽 偽 行けるし 行く
18.
行ける 行く 真 真 偽 偽 行けるし 行く 行けないし 行かない
19.
行ける 行く 真 真 偽 偽 行けるし 行く 行けないし 行かない 行けないけど 行く
20.
行ける 行く 真 真 偽 偽 行けるし 行く 行けないし 行かない 行けないけど 行く 問題は ここ
21.
行けるは 真だが行くは偽だ
22.
23.
行ける 行く 真 真 偽 偽 行けるし 行く 行けないし 行かない 行けないけど 行く
24.
行ける 行く 真 真 偽 偽 行けるし 行く 行けないし 行かない 行けるけど 行かない 行けないけど 行く
25.
クリスマスなんだけど もしよかっ
26.
行けるけど 行かない
27.
行けるけど 行かない ※つらい
28.
「行ける」と「行く」からできる 4つの状況がご確認いただけたかと 思います
29.
?
30.
「行けたら行く」 出てきてないじゃん
31.
行ける⇒行く※¬(行ける)∨行く 「行けたら行く」は論理的には として捉えられます ならば
32.
⇒(ならば)とは?
33.
⇒(ならば)とは? 2つの真理値から1つの真理値を得る 論理演算子のひとつ(二項演算)。
34.
⇒(ならば)とは? 2つの真理値から1つの真理値を得る 論理演算子のひとつ(二項演算)。 P Q 真 偽 真 偽 真 真 偽 偽 なんか演算 真 真 真 偽
35.
P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 真 真 偽 PandQ P
Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 偽 偽 PorQ P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 偽 真 真 偽 PxorQ P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 P⇒Q 例
36.
P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 真 真 偽 PandQ P
Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 偽 偽 PorQ P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 偽 真 真 偽 PxorQ P Q 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 P⇒Q 例
37.
行ける 行く 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 行けたら行く
38.
行ける 行く 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 行けたら行く 「行けたら行く」って言ってた人が ウソをついたことになる状況が 一つだけある
39.
行ける 行く 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 行けたら行く 「行けたら行く」って言ってた人が ウソをついたことになる状況が 一つだけある
40.
41.
行ける 行く 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 行けたら行く 「行けたら行く」って言ってた人が ウソをついたことになる状況が 一つだけある
42.
行ける 行く 真 偽 真 偽 真 真 偽 偽 真 偽 真 偽 真 偽 真 真 行けたら行く 「行けるけど行かない」 「行けたら行く」って言ってた人が ウソをついたことになる状況が 一つだけある
43.
結論 「行けたら行く」と言ってた人は 「行けるけど行かない」 という行動をとらない限り、 ウソをついたことにはならない。 ので来ない。 (行かなかったら「行けなかった」 と言えばいい)
44.
結論 「行けたら行く」と言ってた人は 「行けるけど行かない」 という行動をとらない限り、 ウソをついたことにはならない。 ので来ない。 (行かなかったら「行けなかった」 と言えばいい) ここだけ見たら当たり前に 思えてしまうけど、 ちゃんと論理的な下支えがあった
45.
本日の裏テーマ 論理遊びって楽しい!
46.
論理あそびいろいろ ・論理語に変換するあそび ・対偶取るあそび ・否定してみるあそび ・矛盾をはっきりさせるあそび ・誤謬を見つけるあそび やってみよう!
Download now