classicarbon

静岡県→名大CS B3 情シス(情シス志望) 共テ古文衝撃の12点

[classicarbon @classicarbon]

土はバルカン南部を一部占領。最大領域の復活へ一歩近づく結果になりました。
英はデンマークを占領したものの、首都ロンドンを失った状態にあり、国王はバーミンガムに避難しています。

[classicarbon @classicarbon]

#ラガドーン・タバーン
ディプロマシー定例報道局です。
1907年秋のニュースをお伝えします。
終戦！終戦です！1901年から始まる大戦が、本日ロシア帝国が勝利した状態で終戦協定が結ばれました！
東欧全域をロシア帝国が支配し、ロマノフ朝の元でスラブ人国家が築かれる結果となりました

[classicarbon @classicarbon]

仏はその勢力を元ドイツ圏まで進出させましたが、南部を伊に占領される結果となりました。
その伊はイベリアから西部バルカンまでを制覇。ラテン人の勢力を拡大させました。
一方、独は英仏に全土を占領され、墺は伊露によって国土を支配される結果となりました。神聖ローマ帝国がついに断絶しました

[classicarbon @classicarbon]

Dまで
やっぱどうしてもグラフが苦手

[classicarbon @classicarbon]

そろそろ宣伝
皆さん、名古屋大学情報学部コンピュータ科学科に来ませんか
工学部から情報学部へ統合された学科で、現代社会の基盤であるコンピュータについて学べます
その範囲は、コンピュータの仕組みからAI、ネットワーク、CSの基礎理論までと多岐にわたります
楽しいよ！
https://t.co/D9QqZTlRt8

[classicarbon @classicarbon]

「理学部は真に学問を追い求めているが、工学部は学問の面白さに見向きもせず就職のことしか考えていない」的な意見に対する一意見

工学も面白いだろ！！！！！！！！！！！！！！ロボットを見てワクワクした気持ちを忘れちまったんか！！！！！！！！！！！

[classicarbon @classicarbon]

@ucchii2007 9月のサプリにいっぱいありそうじゃないですか？

[classicarbon @classicarbon]

@thx1034 同一になるなら題意は変わらないでしょう
少なくとも古典論理では「Pを仮定したときにQですか？」という質問は「PでないかQが成立しますか？」という質問と答えが全く同じになる。もちろん、一階述語論理でも二階述語論理でも同じ

[classicarbon @classicarbon]

よく分からんけど、「P→Q」という命題において、Pの真偽は関係ない、ということを認識できていないのかも
全く関係ないわけではないけどね。P→Qは少なくとも古典論理では¬P∨Qと全く同様であり、今回のケースでは¬P∨Pとはなるので自明に真となる

[J @Judgement_2018]

「計算が合ってるのだから、“正しい”でいいじゃないか」と思う方は、単なる計算の話なのに“n”だの“～ならば～である”というもったいぶった言い方で、あたかも「論理の話」のように装うことが適切と言えるのか、という視点で考えてみて欲しいですね。

※「蛇足」という故事成語も参照するといいかも

[classicarbon @classicarbon]

@thx1034 だから、そのPが恒偽の場合は、Pを仮定した場合は必ずQを導けるでしょ？
前提条件としてPを設定している時点で、「Pを仮定した体系でのQ」が命題になるわけだから、それは論理包含のそれと同一になる

[classicarbon @classicarbon]

@thx1034 その認識は誤り
Pと仮定するっていうことは、命題Pを真と見るって言うことで、その時に命題Qが真でなければ件の命題は真にならない
もしも常にPが偽の場合、Pを真と見てることから矛盾するので、爆発律より任意の命題が示せるため件の命題も真になる
そのいずれかを満たす論理式は、¬P∨Qとなる

[classicarbon @classicarbon]

@thx1034 その問題では円周率を3.14と定義していて3.1415...ではないとしてるんだから前提が真でしょ

ちなみにπ=3.14としたとき、また円周率の定義よりπ=3.1415...であることから3.14=3.1415...となり、よって0=0.0015...であることから0=1であることが示せる

[classicarbon @classicarbon]

@thx1034 それは極めて自然言語的な見方では？
極論、π=3.14という矛盾が成り立つ体系では、実際に0=1も成り立つ

[classicarbon @classicarbon]

@thx1034 自然言語との差異はともかくとして条件付き命題と含意の間に数学で問題となる区別はないという認識だった

[classicarbon @classicarbon]

@Kaseeeeeen 年度的にはそうなる気がする

[classicarbon @classicarbon]

@ridmas_raga 判定不能な問題

[classicarbon @classicarbon]

今回のケースでは件の命題は「n≠5またはn=5である」となる

[classicarbon @classicarbon]

名駅あるある、1本見逃したほうがQOLは高い

[classicarbon @classicarbon]

@mokatyi_no412 0.3考くらいの余地はある

[classicarbon @classicarbon]

1年夏以来の運転を名古屋でする必要があるかもしれない

[魔法少女まどか☆マギカ @madoka_magica]

━━━━━━━━━━━━━━

劇場版 魔法少女まどか☆マギカ
　 〈ワルプルギスの廻天〉

初日最速上映 実施決定

━━━━━━━━━━━━━━

公開初日8月28日（金）0:00以降より
一部の劇場にて最速上映実施

▼実施劇場はこちら
https://t.co/1AmfLSw5hZ

#まどかマギカ