テレビアニメ『無能なナナ』の3分の1ほどが終わりましたが、ここらで振り返り的な記事を書いておこうと思います。真っ当な感想記事ではなく、自分がこの作品をどう観てきたかという自分語り要素と、アニメはこういう感じが実現できたら成功しそうという後方P…

世界が存在しているのは何かの間違いだという気持ちがずっとあったのですが、他方で、「間違い」と言ってもそれは偶発事に起源をもつのではなく、ある意味必然的な流れによって生じてしまった事態だとも思ってきたわけです。世界が存在しているのが間違いだ…

やりたいこと 関数の体系を公理的に特徴づけ，関数の特別な場合として集合を定義したいです． 関数論の公理系ATFをつくります． 注意 特に先行研究とかは見ていません． 数学の素人が何の経験も無しでやるので，全然興味深くない体系ができたり，全然関数の…

私は昔から「夏は存在しない！」と言って回っていました。まあ夏は存在するのですが、どうも私には存在しないように思えたのです。もうちょっと言うなら、「いま夏の中にいるぞ～！」という風に思ったことが無く、「もうすぐ夏だなあ」とか「夏にはこんなこ…

明日とか未来のことが不安で眠れないときってありますよね。今日はそういうときに気持ちを落ち着ける方法を紹介します。 まず、過去の自分を他人と思うトレーニングをしましょう。遠い過去のことを思い出してください。たとえば〈幼少期にハマっていたけれど…

最近私は「分を弁える」ということについてよく考えるようになりました。人にはそれぞれ能力や地位に応じた持ち分のようなものがあり、それがどこまでの範囲に及んでいるのかちゃんと知っておく、というのが「分を弁える」の意味だと思います。この意味での…

小中学生の頃、深夜アニメやラノベなどに代表される文化にかなりのマイナスイメージをもっていました。不健全・不道徳・いかがわしいといったイメージです。「ハルヒ」を視聴していると公言してはならないし、ラノベを持っているところを見つかれば石を投げ…

論理学方面の関心から束論について勉強したいと思うようになったので，このシリーズでまとめます．束は代数構造の一種で，論理の意味論を組むときに出てくるブール代数やハイティング代数などの代数構造は束として表されます．束について理解すると論理学の…

定期的に、「古代文明・宇宙・生命」みたいなテーマでネットサーフィンをしたくなることがあります。具体的には、「ピラミッドはどうやって造られたのか？」とか「生命の起源は宇宙からやってきた」とか、そういう話を読みたくなります。Wikipediaの「世界最…

夏には何かをしたいと毎年思っています。「何か」と言っても何でもいいわけではなく、いわゆる夏らしいことがしたいのでしょう。 花火を見るというのは夏らしいことのひとつです。私はいつからかひとりで花火大会に行くことが好きになりました。花火大会は人…

子どもの頃には戻りたくないです。とは言っても、現在と比べて子ども時代がめちゃくちゃ不幸だったわけではありません。楽しい思い出もたくさんあるし、今となってはできないような体験もいろいろしたというのが現在の印象です。ではなぜ戻りたくないか。そ…

「本当に気ごころ知れた友だちなら何時間でも語り明かせる」みたいな世界観を私は受け容れていません。気ごころ知れた友だちでも8時間話し続けたら嫌になります。雑談のポテンシャルなんてそんなものだと思っていますし、人が人と交流する際には、相手が誰で…

前回は，選択公理（AC）と一般連続体仮説（GCH）をZFに付け加えても（ZFが無矛盾なら）矛盾しないことを示すゲーデルの証明を追うための準備と称して，とというふたつの宇宙を紹介しました．が冪集合をとるという操作をベースに，反復的な操作によって階層を…

この記事ではSeikinTVの一般的特徴について述べます。SeikinTVとは、YouTuberのSEIKIN（セイキン）さんのメインチャンネルです。SEIKINさんはHIKAKINさんの兄です。動画の方向性はHIKAKINさんとかなり似ており、商品紹介や料理・工作系の動画が多いですが、H…

一般連続体仮説 前回は順序数のクラス上の再帰でアレフ数を定義したところで終わりました．順序数に対しては，なるどの順序数に対してもとは異なるような最小の無限順序数です（要はそれまでのアレフ数に出てこなかった順序数の中で最小の無限順序数）． さ…

私は長いこと音楽演奏を趣味としてきたのですが、最近「演奏者」というアイデンティティをもとうとすることはやめようと思いました。今までの経歴を述べると、3歳からヴァイオリンを始め、中学時代にはピアノを習い、高校では弦楽合奏部（ヴァイオリン・ヴィ…

夢って不思議ですよね。見たこともないような光景をすごくリアルに見ることができます。でも完全に自分の想像力？の産物というわけでもなさそうだし、夢の素材はどこからやってくるのでしょうか。 哲学者のアンリ・ベルクソンは、夢は暴走した記憶ではないか…

中学校に入ったあたりから、周りの人たちがアイポッド？やウォークマン？で音楽を聴き始めました。「え、みんなそんなに音楽に興味あったの」と、かなり戸惑った覚えがあります。歩くときにもイヤホンをしている人が多く、一気に「三度の飯より音楽が好き」…

前回は超限再帰定理図式の説明をしたところで終わりました． 超限再帰定理図式 を集合上の整列順序とする．このとき，が集合全体のクラス上で定義された関数クラスならば，を定義域とする関数であって，に対してとなるような関数が唯一存在する．*1 今回はこ…

皆さんは人生を誰かに代わってほしいと思ったことはありませんか？ 私はしょっちゅう思っています。ラフな描像としてはこんな感じです。人間は身体と魂が結合してできている。この身体を別の魂に譲りたい。その場合、周りの人から見て私は死ぬわけではありま…

小6のとき、クラスの友だちが自転車で隣の市に行ったという話を聞いて、自転車ってそんな遠くまで行けるんだ、と思った記憶があります。今思うと隣の市への距離はせいぜい4kmといったところで、自転車どころか徒歩でも少し頑張れば行けてしまうのですが、小…

私には小学生の頃から今まで、「朝といったらこれ！」という感じで食べているものがあります。それは「ツナご飯」です。缶詰のシーチキンフレークってありますよね。あれに醤油をかけてご飯にのせたものがツナご飯です。 ツナご飯の起源がどこにあるのかは知…

趣味の数学で次に何をやろうかなと思って，連続体仮説まわりの話と測度論ベースの複素解析が候補に挙がりました．これらは二者択一ではなく，気分によって好きな方をやるとかでもよいと思うのですが，とりあえず先に連続体仮説関連の勉強をしようと思います…

権力をもつ人にはそれ相応の義務が課せられるという話がありますが、この「権力をもつ人」を「能力の高い人」に入れ替えても似たような話が成り立つのではないか、とふと思いました。たとえば「アカハラ」という言葉がありますが、教員が「指導」と称して非…

この記事では私ひかりちゃんの長所と短所について述べます。一般に人は自分自身のことについてよく分かっていないことが多いので、私が私自身の長所と短所について述べるときも、それはかなり怪しい話になりえます。他方、私は自分のことがよく分かっている…

こんにちは。ひかりちゃんです。ブログ名にもある通り、このブログはひかりちゃんの悲観的な絵日記です。絵日記は分かるとして、「悲観的」の方は説明を要するので、ブログ全体の序文にあたるこの記事でこれについて述べておきます。 背景として言っておくべ…