「宇宙人」を含む日記 RSS

はてなキーワード: 宇宙人とは

2024-03-24

プリキュアに出てくる宇宙人、魚、犬などが中学校に通えるのは当然な

当然なのです。中学校で習ったよね?

一応おさらい。

憲法に定める教育を受ける権利保障する観点から教育委員会においては、住民票戸籍の有無にかかわらず、すべての学齢の児童生徒の義務教育学校への就学の機会を確保することが極めて重要です。

(中略)

市町村教育委員会は、住民基本台帳戸籍記載されていない学齢児童生徒が域内居住している事実を把握した際、直ちに当該児童生徒に係る学齢簿を編製するとともに、対面により丁寧に就学の案内を行うなど、住民基本台帳戸籍記載されていない学齢児童生徒が就学の機会を逸することのないよう取組を徹底することが必要です。

なお、住民基本台帳記載されていない場合や無戸籍場合は、保護者がその子を就学させることができないのではないかと誤解している場合があり、積極的に就学手続をとるよう促す必要があります

https://www.mext.go.jp/a_menu/shotou/shugaku/detail/1422230.htm

いわんやクルド人をや。、

2024-03-23

5分でわかる小説 三体 Ⅰ Ⅱ Ⅲ ネタバレあらすじ

うろ覚えのあらすじ

三体Ⅰ

葉文潔(イエウェンジェ)「宇宙人来てー、私たちはここよー」

軍の施設使ってこっそり宇宙に向けて発信しつづける。

三体星人がその電波キャッチ

三体星系は太陽が3つあって環境過酷(三体問題)

過去何度も滅亡しては復興を繰り返す

今の文明もそのうち滅びてしまうので他の星系に移住したい

地球情報キャッチ

三体人「よっしゃ、地球奪ったろ」

三体星系と地球間は4光年だけど、みんなで地球行くのには400年かかるわ。

その間に地球人の技術進歩したら、抵抗されて地球奪えんくなる。

三体人「光速素粒子コンピュータの智子(ソフォン)を大量に地球へ送り、イタズラしたろ」

ソフォンは量子通信地球情報全部リアルタイムで知れるかつ目に見えない、リモート操作可能のスグレモノ。

地球科学者加速器の結果が無茶苦茶や!

基礎研究がなんも進まんわ」

ソフォンが科学者に見せるイタズラに悩まされる科学者

科学進歩は閉ざされた、、生きる意味ない、、死ぬわ」

その頃、地球において三体人歓迎の葉文潔を中心に「地球三体組織(ETO)」が組成され三体人とコミュニケーションをしてた。

その情報を掴んだ国家警察の史強(シーチャン)警察官がETOぶっ潰して、三体人が450年後に地球にやってくることが全人類に明らかになった、、

三体Ⅱ

地球人が三体侵略対抗のためにアレコレ計画しても三体人にはソフォン通じて筒抜け。

でもソフォンは人間の頭の中は読めないから、惑星防衛理事会(PDC)が 4人のエキスパートを選出して、頭の中で三体攻略を練れと命じる。

選者は面壁者(ウォールフェイサー)と呼ばれ、面壁者はなんでもできる権限を得る。

面壁者の1人、羅輯(ルオジー)はその権限を使って奥さんをゲットして優雅にのんびり暮らす。

PDC世間は「それも三体人攻略の策なのか?」と思い何も言えない。

そのうち羅輯 は適当やってるのがPDC世間にバレて奥さんと娘を冬眠させられてしまい、真剣に三体攻略を考える。

そして、ある星系の座標を全宇宙送信し、コールドスリープする。

約200年後、羅輯はコールドスリープから目覚める。

その時代では、宇宙艦隊組織され2,000隻もの宇宙戦艦が、三体艦隊から放たれた探査機(通称:水滴)を調査していた。

水滴は動き出し、2,000隻を1機で壊滅させる。

うち数隻はやられずに逃亡に成功

1年後、羅輯が送信した星系が破壊されたことが確認され、羅輯復権

星系が破壊されたことにより暗黒森林理論証明された。

宇宙は暗黒の森であり、そこで出会相手は仲間か敵かもわからない。

暗黒の森では自分が襲われる前に、相手を見つけたら即時殲滅宇宙文明を存続させるには他星系との交流リスクが高すぎるので、見つけたらやっつける、それが暗黒森林理論

羅輯は三体星系の座標を全宇宙送信する仕組みを作り、三体人を脅す

自分が死んだら三体星系の座標を宇宙に曝す」

それは同時に送信元の地球の座標もバレてしま

(三体星系も滅ぶが地球も他宇宙文明に滅ぼされてしまう)

三体人はそれを受け、地球侵略艦隊を引き下げ羅輯は妻子と暮らし始めた。

三体Ⅲ

三体艦隊が引き下がる前の時代

天明(ユンテンミン)は末期癌で余命幾ばくか。

大学時代アイデアを元に成功した同級生からもらったお金で、あの頃片想いしてた程心(チェンシン)に匿名で星をプレゼント

程心はPDC戦略情報局(PIA)の職員

PIAは三体艦隊探査機を送る梯子(ラダー)計画準備中

計算上、探査機には人間の脳くらいしか搭載できない…

大学の時の知り合いの雲天明って人が末期癌みたいだからその人を候補に…

上司のウェイド「やれ!」

脳みそ摘出手術直前で「あの星のプレゼントは雲天明からよ」と知らされ「まってー!」となるも時遅し。

天明梯子計画の結果を見届けるため程心はコールドスリープに入る。

数十年後、三体艦隊が引き下がった後の時代(抑止期限)に目覚めた程心は、雲天明からプレゼントされた星の価値が爆上がりしてお金持ちに。

その星に惑星を見つけた大学院生の艾AA(アイエイエイ)と資産管理会社を起こし、行動を共にするようになる。

抑止紀元では座標を曝す装置を執剣者(ソードホルダー)が守っている。

執剣者は100歳を超えた羅輯。

次の執剣者を選定するころ、程心は三体世界地球に配している智子(トモコ)という美しい女性AIと面会し、執剣者に立候補することとする。

人類はこの抑止紀元の数十年、三体文明とも交流を深め、危機感が薄れ、腑抜けていた。

そんな感じで執権者が程心に決まり、引き継いだ矢先、三体の水滴が地球を襲ってきた!

程心が送信装置を押すか迷っている間に送信アンテナが水滴に破壊されてしまった。

智子は地球支配し、武力により全地球人をオーストラリア移住させた。

そんなさなか、三体世界地球から撤退することになった。

過去宇宙空間で水滴から逃れた戦艦万有引力」が三体星系と太陽系の座標を全宇宙送信したのだ。

これにより地球宇宙の他文明に曝され、消滅させられる運命となった。

数年後、三体星系が消滅した。

三体世界は智子を通じて、雲天明と程心を会わせてやると言う。

自分たちの星も消えたし、地球も消える運命で、地球文明を助けてやる義理はないけどお情け的に。

面会は宇宙空間監視付き、雲天明地球文明にとって有益情報を伝えようものなら2人もろとも破壊する条件で面会。

そこで雲天明は程心にお伽話を聞かせる。

物語のない国のお話

その話から人類は以下のヒントを見出す

人類は他宇宙文明からの暗黒森林攻撃を避けるため3つのプロジェクトを進めることになる

ウェイドが光速船作るというから会社の全権与えて冬眠してたけど、光速船の航跡危険なので連邦政府没収するとなり程心起こされる。

起きてみたら、太陽系には掩体都市ができていて、人類ほとんどが地球から離れ、巨大ガス惑星の影にコロニーを作り暮らすようになっていた。

ウェイド「髪の毛のカケラ光速で2センチ動かせるようになったぞ!」

光速船作るの取り上げられるなら、掩体世界反物質テロしたるわ!

程心「最終決定権は私という約束したよね、戦争なっちゃうから武装解除して光速船作るのはお終い!」

程心「冬眠する!太陽系が消されそうになったら起こして」

約50年後、暗黒森林攻撃アラートが出たと起こされる。

しかし、掩体コロニー惑星の影に隠れていない

太陽系に向けられた攻撃は一切れの紙切れ

この紙切れは周囲を三次元から二次元に変換する兵器だった。

この平面は太陽系全体を二次元に飲み込みながら広がっていく

二次元から光速しか逃れられない

人類光速船の選択肢を捨てている

程心が捨てさせた

このままでは全人類二次元化されてしまう…

連邦政府「程心よ、地球文明二次元世界でも綺麗に残したいか冥王星にあるコレクションを回収して宇宙にばら撒いて欲しい」

宇宙船「星環」に乗って艾AAと2人で冥王星へ向かう。

冥王星では200歳を超えた羅輯がいた。

共に平面化していく地球コロニー人類を見守る

人は二次元では死んでしま

太陽二次元化され、燃えるのをやめた

もう絶望

程心と艾AAゴッホの絵など貴重な地球文明の数々を星環に積んで宇宙

もう平面化はすぐそこまで迫ってる

羅輯から言われる「それ、実は光速船やで」

2人は雲天明からプレゼントされた星の座標を目指す

、、、、

あー、力尽きた

こっからとんでも展開なのでまとめきれん

読んだことない人はぜひ読んでほしい

2024-03-22

anond:20240322165620

知らないもの存在しないと主張する人もいます

知らないふりをする人もいます

宇宙人がいてもいなくてもたとえばみんなが幸せにという言葉宇宙人に向けられるものではありません

縄張りの中だけしか存在していないのです

2024-03-21

政治家「みんなが幸せ世界を作りましょう」

地球に来る宇宙人「うおおおおおおお」

政治家宇宙人対象外だ」

一般市民キモイやつを捕まえろ!いけにえにするんだ、早く!」

キモイやつ「今から俺は宇宙人だ」

宇宙人なんやこいつキモすぎ一緒にされたくないわ」

2024-03-20

anond:20240320074828

メジャー宇宙人ビジュアルってだいたい毛がないよね

たまに毛むくじゃらタイプ人類と同じタイプフィクション含めて見かける程度で

2024-03-19

地球上に宇宙人いるかもしれない!という妄想開陳し、「宇宙人を見分けるために大規模監視を」と言い始めるのがCIA

2024-03-18

ゴジラ-1.0の良かったところ(ネタバレあり)

アカデミー賞取ったから観に行ったミーハーです。

まぁもうネタバレありで良いっしょってことでネタバレありで良かったところまとめる。

ストーリー

1.敷島自分意志脱出レバーを引いたこ

正直、橘が起爆レバー脱出機能も紐づけて死ぬつもりだった敷島を生かすという流れだと思っていた。

2.橘が脱出レバーのことを敷島に伝えたこ

ほぼ上と同じ。

自暴自棄になっていた敷島を見た後も敷島の生きる意志を信じた橘に拍手

俺なら起爆スイッチ脱出機能つけちゃう

3.あーなんだよ典子生きてるとかリアリティねーってなった後の絶望

ゴジラ敷島を逃してはくれない。

2作目があったら次はゴジラ後遺症問題(+復活したゴジラ)かな?

4.ベタだけど熱い

わかりやすい前フリ(ゴジラ敷島因縁付け)、中盤(愛する人を失って自暴自棄になる)、終盤(ピンチになるけど最後なんとかなる)だったけど、これでいいよね。

鬼滅もこのシンプルさがウケたわけだし、ベタベタで良い。

映像

1.ゴジラ怖い

銀座に襲来したとき、一緒に観に行った彼女が俺の手を握ってきた。(のろけ

2.戦艦とかメカがかっこいい

艦これで観た!が何度かあった。

3.統一感があった

多分、家の中とか以外は全部VFXだったのでは?統一感があって良かった。

その他

1.怪獣宇宙人映画によくある意味ないエロがない

これは-1.0の良いところというよりゴジラの良いところよね。

ゴジラ全部観てないから知らんけど。

2.音楽

今流れて!って思ったときにいつものアレが流れてくる。最高。

総合評価

パンツが見れなかったので☆1です

2024-03-15

anond:20240315095121

再挑戦しようかなぁ

難しいよ、あれも

ギター弾いてるのが宇宙人からじゃないの?と思うよ👽

2024-03-14

anond:20240314212557

絶対あると勘違いする奴がいるから濁すのが正解

宇宙人がいないともいえない、を宇宙人存在する、と言い換えると変な奴が湧く

原則として誰にでも好き嫌いはあります

知らないことは存在しないとする人もいます

知らないふりをする人もいます

べき論の出発点は好き嫌いです

自分好き嫌いに気付いていない人もいます

何億光年も先にいるだろう宇宙人と仲良くするべきです

物理学者幽霊は別の天体に行ってるだろう

宇宙人幽霊地球へきているだろう

2024-03-13

UFOの正体は自己複製探査機かもしれない

ってNHK番組でやってた。

人類は遠くの宇宙人が作ったbotの残りカスを捕まえることもできないのか。

ある日、増田の前に宇宙人が現れた。

宇宙人地球人を見て不思議に思った。

というのも宇宙人には性といったものがなく、男と女の違いついて、よく分からなかったのだ。

そこで宇宙人増田に、男と女は何が違うのか?と尋ねた。

実際、男と女はそんなに変わらない。

増田はそう考え、「プレイステーションセガサターンの違いのようなものだよ」と答えた。

宇宙人はなるほど、と思った。

2024-03-11

anond:20240311153251

今は車の宇宙人になって「爆あゲット」とか言ってる

2024-03-10

anond:20240309171028

「どなたでも」とは偉い人の頭の中にいる人に限定されます

知らないもの存在しないとする人もいます

知らないふりをする人もいます

人を超え人類支配しようとしている宇宙人もどこかで生きているかもしれません

2024-03-08

たまに見る夢が、液体系の宇宙人と融合する夢

それで自分だけではなく、親や友人も融合して、任意の形状に変化できる能力を手にいれる

ただし変化の過程が超キモいし、人格も乗っ取られる

2024-03-04

anond:20240304135835

すべての生物をいつくしむとは存否にかかわらず人間を超えた宇宙人をもいつくしむということである

2024-03-03

女は男に高学歴高収入高身長を求めるけど…

収入は高ければ高い程いいし、身長常識的範囲で高い方がいいってのも分かる。

でも学歴だけは同レベル帯で合わせておいた方がいい。

学歴って、お勉強ができることの証明でもあるけど、同時に「どのような常識レベルか」を測るものでもあるんだ。

常識レベルが違うとつらいことばかりだぞ。

例えば、店員に対する接し方一つで育ちの違いがもろに出る。

これが家事分担や子育て方針となると、あっさり夫婦関係破綻する程の対立を生むことになる。

収入身長はいくらでも高望みしてもいいけど、学歴だけは身の丈にあった相手を選べ。

そうしないと、自分と同じ言語を話すだけで、全く意思疎通ができない宇宙人を掴むことになるぞ。

2024-03-01

数学必然性は実は人間言語分析能力によるものなので、言語能力が異なる宇宙人とは、数学的語彙が共有できない可能性があるんですよね~


なぜ数学言語能力関係するんだ?と思う人は、以下のノーム・チョムスキーの有名な、無意味な二種の文を見ればわかってもらえるかもしれませんね~

・“Colorless green ideas sleep furiously.”(「無色の緑の考えが猛烈に眠る。」)

・“Furiously sleep ideas green colorless”(「猛烈に」「眠る」「アイデア」「緑色」「無色」)

前者は文法的には正しいが意味が無い文で、後者文法的に正しくないか意味がない文、ということはわかっていただけるかと思います

しかし、上記二種の文は、両方とも経験的には何も想起させないがゆえに、経験的には同様に意味の無い文です。

ということは、経験こそが認識の基礎、基底である考える人にとっては、二種の文の違いを説明することができないのですよね~。

なぜならそのどちらも経験することができず、経験による理解が基底であると主張するのだから経験的基底において違いのない(意味のなさ、指示対象存在しないという点において同質という意味)上記二種の文の本質的差異(基底的差異)を指摘することができないのですね~


現代言語哲学、そして現代論理学の基礎を作ってきた哲学者たちは、数学必然性がどこから来るのかという問題について、

文の経験理解よりもに、文の文法的分析が先に行われる(そして数学必然性は、文法分析に基づく理解のものから正当化可能である)ことを示すことによって、

経験的(アプリオリ)論理数学必然性正当化可能であることを証明してきたんですね~

例えば上記二種の前者の文でいえば、経験できないにもかかわらず文法的に正しいことが理解できるのは、まず文法分析が先に行われ、その後意味解釈に失敗するから無意味なのであって、その逆ではないのですね~

そして数学で扱われる文、例えば2+2=4は、なんらかの経験を前提せずとも、形式的理解(つまり文法的理解)から正当化可能であるがゆえに必然的(=非偶然的、または前経験的)なのですね~

そして例えば上記二種の文とは別の有意味である文「無職緑色ジャージを着た男性が猛烈に眠る」であったとしても、まず文法的理解が先に行われたあと、その意味解釈を行うことができるがゆえに有意味なのですね~

プログラミング言語だって、まずどれが変数で、その変数に何が割り当てられているかといったセマンティクスよりも先に、シンタックス分析が行われますよね~


から数学必然性は実は人間の前経験的な言語分析能力によるものなので、言語能力が異なる地球外生命体と遭遇した時、数学的語彙が共有できない可能ももしかしたらあるのかもしれませんね~

なぜなら我々の理解する必然性とは、我々の言語分析能力に基づくものであって、よそから来た宇宙人にそれが期待される理由がないからですね~

2024-02-29

じゃあ俺だってめちゃくちゃ面白い本をみんなに薦めたいじゃん

20代のうちにこれ読んどけ」とか「本を読んでない俺が薦める本」とか、そんなの見てたら俺も本紹介したくなったからするわ。

桶川ストーカー殺人事件遺言清水潔

1999年埼玉県で発生した桶川ストーカー殺人事件を追った週刊誌記者ルポルタージュ事件事件だけにこういう言い方は不適切かもしれないが本当にとんでもなく面白い。こんな酷いことができる人間が本当に存在するのか、警察はここまで人間の命を軽んじるのか、マスコミ面白おかし報道できれば事実なんてどうでもいいのか……、とにかく最初から最後までずっと衝撃を受けっぱなし。この世界の見え方がぐわんぐわんと歪み、最終的に気持ち悪くなってくるほどの恐怖や憤りを覚えた。また、文庫あとがきにも言葉を失った。打ちのめされる読書体験がしたい人は読むべき。

LIFE 人間が知らない生き方麻生羽呂

人間って生き方下手すぎるだろ、ちょっと動物見習ってみろよ」みたいな本。半分漫画、半分解説文で猛烈に読みやすいから気軽に何度も読み返すうちに大好きになっていた。゛「生存戦略」がテーマビジネス書”と紹介されているが、バリバリビジネスマンから完全なる無職まで、老若男女誰もが普遍的に楽しめて勇気づけられる内容になっているのがすごい。

『私の嫌いな10の人びと』中島義道

世の中なんてクソくらえ、と思っている人にはこれを読んでほしい。世の中には「世の中なんてクソくらえ」と思っている人が割と大勢いて、その中でも哲学者中島義道はかなりクソくらえパワーが強い人間中島が嫌いなのは「常に感謝気持ちをわすれない人」や「自分仕事に誇りを持っている人」、「けじめを大切にする人」など。普通だったら良いこととされる考え方の中にある欺瞞や建前を丁寧にあぶりだしてすさまじく罵倒する。「わが人生に悔いはないと思っている人」に対して「ああ、そう思いたければそう思いなさい!そう思って、さっさと死んでいくがいい!」とブチギレまくっている。中学生の頃にこの本を読んで価値観根底からひっくり返されるような衝撃をうけた。

ナポレオン狂』阿刀田高

はいきました、直木賞作品小説には゛奇妙な味”という、まあ今ではほとんど死語になりつつあるジャンル?があって、阿刀田高はその名手。なんとも後味の苦いブラックユーモア満載の短編が13話入っているのだけれど、文章オチのキレがすごい。ありふれた日常風景から導入して途中に「おや?」と思い、その違和感がいつの間にかとんでもない事態になっている。やっぱり短編小説は読みやすいよね。作品世界に慣れて没入し始めた時に終わってしまうので物足りないこともあるけれど、これはどの作品も大体最後破局的な結末でスパっと終わるので読後感が爽やか。

宇宙人出会う前に読む本』高水裕一

めっちゃふざけたタイトルだが、中身はめっちゃ理系マジで想像以上に理系文系の私にはさっぱりわかりませんし、もはや何が書いてあったのかすら全然覚えておりません!しかし何というか、宇宙人出会った時に恥をかかないためにはどういう教養を身に着けどんな会話をすればよいのか、その会話の先に何が待ち受けているのか。そんな考えたこともないようなシチュエーション解説してくれる宇宙会話ハウツー本として不思議な魅力がある。講談社ブルーバックスという自然科学科学技術系の新書シリーズの中の一冊。

マノン・レスコー』プレヴォ

光文社古典新訳文庫。その名の通り『カラマーゾフの兄弟』とか『方丈記』とか古今東西古典的名著を、今生きている言葉でとても読みやす出版してる神シリーズがあり、その中から出会った一冊。一言でいえば若い男女が愛の炎に燃え駆け落ちする話、なのだがとにかくエネルギーがすさまじい。ああ、お互いのことが好きで好きで堪らないけどとにかく金がないから親から金借ります、その金使っちゃったので友人騙して金借ります、だめだ金足りないか詐欺します、どうやら彼女浮気してるぞこのビッチめ、ごめんやっぱり愛してるよチュッチュ♡、そうこうしてるうちにまた金なくなったか人殺します……、最初から最後までやりたい放題でものすごい疾走感、最高に面白い。驚くのはこれが300年前の小説だということ。

アタゴオルますむら・ひろし

小学生の頃図書館で読んで不思議気持ちになった漫画。猫と人間が同じことをしゃべる世界で、性格が終わってるデブヒデヨシとその友達テンプラパンツたちの日常の話。最近久しぶりに読み返しているがヤバい、毎回最後コマで泣きそうになる。降る雪の上を歩ける靴を履いて「ほんとうに・・・粉雪は冬の散歩身だね」って……(´;ω;`)別に感動的な話ってわけでは全くないんだけれど美しくて。余韻って言葉はこの漫画のためにあるんじゃないのかってくらい、毎話余韻がすごすぎる。

ものぐさ精神分析岸田秀

無人島に一冊だけ持っていくとしたらこの本を選ぶ。40年近く前の本だが、この本はそれだけ長い間日本全国津々浦々、大都会本屋で、片田舎図書館で、おじいちゃんちの本棚で、様々な人にひっそりとけれど強烈に衝撃を与えてきた名著。「ものぐさ精神分析が本当に面白くて」みたいな話を、全く別々の3人からいたことがある。日本人について、歴史について、性について、すさまじい筆力でぐいぐいと独自理論が展開されていく気持ちよさ。今読み直してもその理論社会ピタッと当てはまってしまうような鋭さ。今後もずっと読み続ける一冊。

2024-02-28

社会進歩すればするほど少子化にならざるを得ないなら人間より賢い宇宙人存在し得ないことになるよな

仮にそんな生物がいたとしてもとっくの昔に超少子化になって滅んでるはず

2024-02-17

anond:20240217095737

もっと根源的な問題として、推論規則の「一覧表」があるとして、あるマスの記号とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?と思う。

「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか?

また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。

推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか?

誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表である認識しなくなったら、それは本当に推論規則なのだろうか?ただの「絵」でしかなくなっていないか

あと以下のトラバ主とあなたは同じか?同じならツリーのやりとりは一つにまとめたい。

https://anond.hatelabo.jp/20240216215810

anond:20240216233624

ありがとう。こういうこと↓を考えていてすでにほかのトラバでも一度書いた通り

から合致しているとはどういうこと?そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。

推論規則の「一覧表」があるとして、あるマスの記号とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか?

「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか?

また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。

推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか?

誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表である認識しなくなったら、それは本当に推論規則なのだろうか?ただの「絵」でしかなくなっていないか

あとは、概念が「数学実在」なるものとしてあって、数学はその実在的な概念発見したものだというなら、推論規則なり定義というのはそうした実体を指示する記号に相当する。

これはアメリカというような「固有名詞」が、アメリカと呼ばれる国であるあれを指すという単なる約束に基づいてるのに比べれば、うえで言うような記号は、実体のもの記号を並べる順番や位置という関係性によって表現しようとしていることと、指示する約束という恣意性を兼ね備えているんだよね。その表現実体を指示するにあたって本当に一意で「約束」を抜きにしても厳密なのか、情報の羅列として実体を一つに絞ってるのかって話になる。

ログイン ユーザー登録
ようこそ ゲスト さん