Homotopy type theory（ホモトピー・型理論）は、集合論の代替になりうる。 集合論は第一階述語論理の証明システム→ZFC集合論の二層から成り立っているが、型理論は第一階述語論理といった上位層の内部として理論を位置付ける必要がない。なぜなら命題は特定…

はじめに ブッダは人類史に記録がある中でも、最大の思想家――かつ最高の人格者――の一人とみなされてよい。 とはいえ、私はブッダの考えがすべて正しかったと考えているわけではない。 したがって私は、自分が仏教徒であるとは考えていない。だが私は、ブッダ…

レイメイ藤井 コハコペンケース しまんねえよ！ 「あけたままお道具箱感覚」「カンタン開閉ファスナーレス」が売りのこの商品。そもそも商品画像みたいに物を入れまくったら締められないぐらいパンパンになって、もはや机の上の置物になること必至です。ファ…

2023.10.24記 飽き性だが、凝り性なので、この頃は絵の練習ばかりしている。 シャーペンで下書きをしてコピックでペン書きをするという流れなのだが、どうもにんじんが書くとキャラがロリっぽくなり、グレンラガンのヨーコがロリ巨乳になるという事態が発生…

1999年6月に成立・施行された「男女共同参画社会基本法」は、日本に住み生活する人々の努力により男女の対等な社会参画・家庭運営・地域に向かって社会が進むべきだということを宣言する。この法律に基づき2000年12月に「男女共同参画計画」が閣議決定される…

クリタック 浄水蛇口 ロカシャワー 賃貸の水道がいかにも水道という味とにおいがするので、浄水蛇口を購入。これは交換目安が365日という存在を忘れそうになる長さなので、ありがたい。浄水具合はなかなかで、これを通すとあのまずい水が薬を飲むのに使える…

美術解剖学とは、美術のために応用された解剖学のことである。 つまり、視覚芸術を対象とし、そのために解剖学の内容が調整されている。これを学ぶ意義は当然、解剖学的知識によって作品に表現された人体の写実性が向上することであろう。そしてデフォルメす…

「確率空間」という道具立ては数学的なもので、純粋に単なる記号列に過ぎない。いったいこの確率なるものがどういうものかについて、主観的／客観的という二つの解釈（意味論）があり、これに応じて正当化の理論（認識論）が異なってくる。 主観主義・ベイズ…

推測統計総論 記述統計の禁欲的態度の欠点をうけて、未観測の事象を予測・推定する方法論が推測統計である。その原理は、簡単にいえば、「昼時、学食は混むだろう」という推論が昔も今も同じようなことが起こるという前提に基づいているであろうことに求めら…

⇩ 前にも読んでいます carrot-lanthanum0812.hatenablog.com 記述統計 記述統計という分野においては「データ」以外のものは存在しない。 記述統計とは、データを我々に理解できるような形で記述し、要約するための技術である。直接観測されない、データにな…

第一章 一貫した一貫性の欠如 人間は、他人との戦略的なゲームをするために進化し、その脳は知識・正しさ・道徳的な一貫性が必ずしも有利にはならないということをよく理解している。正しさは非常に重要ではあるがそれがすべてではなく、間違ったことは時に…

Fire TV Stick - Alexa対応音声認識リモコン(第3世代)付属 HDMIに差し込んでテレビやモニターにNetflixなどを映し出せるスティック（Wi-fiが飛んでるところで使う）。まったく何も配信サービスを利用していないとYouTubeとかTVerとか、あるいはヤバいぐらい…

2023.10.06記 ひさびさに日記を書こうと思ったのだが、思いのほか、厭世的になったのですべて消してしまった。先日よりもいを見て（宇宙よりも遠い場所 Blu-ray BOX）、自分もなにかを目指したい、自分をさらけだすのだと意気込んだはいいものの、そのように…

関数 ある車のレースにおける最高速度を年ごとに記録することを考える。私たちは速度計と人手を借りることさえできれば、容易にそれを表にまとめることができるだろう。x軸y軸でおなじみの座標系を描けば、そこにぽつぽつと点を描くことができる。これを散布…

第四章 関係としてある身体――感情、快楽、苦痛 関係のなかに埋め込まれているものはいわゆる「心」だけでなく、「身体」にも及ぶ。私たちがどこまでを自分の身体と呼ぶかは、関係の伝統のどこに立っているかに依存する。私たちは身体という家に住んでいて、…

第三章 関係によって生み出される自己 境界確定的存在から関係規定的存在へと見方を変えることは、私たちの内側と外側という境界を取り払うことでもある。デカルトは『方法序説』において、疑わしいものをすべて脇に置いて哲学を始めることとした。その結果…

第二章 関係こそすべてのはじまり 「自己を有する個人」とは、自然ではなく言語が作り出した状態である。 関係からはじまる―社会構成主義がひらく人間観 長く続いてきた「境界確定的存在」という伝統的な世界の見方は、そもそも関係からはじまる。たとえばあ…

第一章 境界確定的存在からなる世界 自己と他者の区別は、人間が作り出したものであり、この世界を理解する方法の一つにすぎない。 関係からはじまる―社会構成主義がひらく人間観 自己／他者、そしてさらには個人／共同体という区別は境界によって区切られた…

Anker Soundcore2 電源をつけるときはすぐそばに置いておこう 思ったよりもはやく充電が必要。 そうだというのに詳細な残量表示がない（赤ランプが光る）。 いまどれぐらいのボリュームなのかがわからない。 爆音で流れた場合は、ボリュームの程度がわからな…

健康の本質 健康という概念の重要性についてはすでに明瞭であろう。健康についての理論が、理論として備えていなければならない適切な条件は少なくとも、 健康にかかわる概念相互の論理的な関係 健康概念と、そのほか主要な人間性に関わる概念との論理的関係…

人間社会は社会性昆虫の社会に似ている。 私たちはちょっとした違いにとんでもない異質さを感じ、人間として決定的に同じである点はすべて通り越して、別物として扱う。逆にいうと社会のメンバーであるということは誰の目にも明らかなものであり、外見や話し…

愛 善によって心が被る変化が、愛である。たとえば喫茶店でふと耳にした音楽に心が強く揺り動かされ、店を出てからもずっと心の中で鳴り続ける。何かが気に入るとそのものが心の中に住み続け、それ以前の自分ではなくなっている。愛は受動的な仕方で生まれる…

学ぶというのは、たとえば知識を得たり、自分の信念が間違っていたことに気づいたりすることであろう。知識とはある種類の信念だろうことを思えば、学ぶというのはいってみれば「信念の改訂」であることがわかる。知識とは伝統的に『正当化された真なる信念…

無印良品 サッカー織半袖パジャマ 手触りは「無印感」があり、暑そうだなと思いながらも着てみるととてもすっきりしている。寝苦しくもなく、じゃまだと感じることはまったくなかった。布団の中で動いても体にこすれて異様な存在感を見せることもない。 だが…

希望 希望という感情が抱かれる対象は、まず〈善である〉。ここでいう善というのは道徳的善」だけでなく、私たちを喜ばせる「快楽的善」や、私たちにとって役に立つという意味での「有用的善」の三種であり、その対象はそのうちいずれかの善である。言い換え…

ゲティア問題 証拠主義から信頼性主義へ 証拠の構造 基礎づけ主義 整合主義 新しい正当化理論 伝統的に、知識とは正当化された真なる信念であると言われてきた。これは「正当化」「真」「信念」の三つに整理される。真であるというのは素朴に事実性のことで…

UnteidAthle Tシャツ グレーを選択。 さらりとしてたいへん着やすい。人生ではじめて「オンス」という概念を知ったが、服の厚みのことだそうである。4はかなりペラペラの部類だそうだが、夏場や部屋着としては最適。ただ、首のところにあるアレ（？）がチク…

Quick Wallet アルミケース 要するにカードケース。カードで決済するので現金は持ち歩かないという人向け。 カードを差し込んでおいて、使う時に操作すればニュッと中から出てくるという仕掛けだ。 「マネークリップがついている」と謳っているが、マネーク…

HALHAMクロップドパンツ 生地が気になる。 クロップドパンツというのは丈が通常より短い6~8分丈のもののことだそうです。 「涼しい・冷感」と書いていますが、当然半ズボンに勝てるわけはなく、たいへん暑苦しいです。使っている生地は、デニムよりは全然着…

アフォーダンスとは、「私たち動物が行為するときに利用できる、環境そのものや環境中にある対象が持つ性質や意味、価値」のことである。対象のもつアフォーダンスは、その動物の大きさや脚のサイズなどによって利用できるかが異なる。動物の個体ごとに取り…