疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

書評: 朝永振一郎著『物理学とは何だろうか』

今回は書評です。それは朝永振一郎先生の『物理学とは何だろうか』(上)(下)です。物理学とは何だろうか〈上〉 (岩波新書)作者: 朝永振一郎出版社/メーカー: 岩波書店発売日: 1979/05/21メディア: 新書購入: 4人 クリック: 81回この商品を含むブログ (46件) …

ロシア語のПокаの3つの用法

今回はロシア語のпока́(パカー)について書きます。 пока́は3つの用法があり、 (1) Bye (2) (not) yet (3) while です。 пока́の用法 (1) じゃあね。 пока́の用法 (2) まだ (~でない) пока́の用法 (3) ~のあいだ

圏論についてのいくつかの疑問

三日坊主にならないためにとりあえず書く。しかし、あまりPV数には影響されないようだ。 今回は圏論についてのいくつかの疑問を並べてみる。 (1) 圏の定義と基礎づけについて (2) Coequalizerについて (3) 自由モノイド・自由群・自由加群などについて (4) …

数学の抽象と具象: 具体例は抽象化される。

数学を学んだり研究したりする上で、具体例の重要性について議論されていた(主にネット)。数学以外の一般的な議論においても、抽象と具象の行き来が重要だとどこかに書かれていた(気がする)。「抽象」は「曖昧」とか「わかりづらい」と悪い意味で使われがち…

今年の目標

2019年の目標 毎日書く。少なくとも年間で200個の記事を書く。 圏論の基礎をまとめる。圏・関手・自然変換・極限・随伴関手・カン拡張まで。ただしまだわからないところがあるので、その辺は適当にする。基本的にはAwodeyの教科書(Downloadable)を参考に書く…

ロシア語で「メリークリスマス」「よいお年を」「あけましておめでとう」を言う。

最近はロシア語しか書いていない。 今は忙しいから、数学の記事を書くことができません。 今回はロシア語で年末年始の言葉を書きたいと思います。 つまり、3つの言葉「メリークリスマス」「よいお年を」「あけましておめでとう」を書きます。 (1) メリークリ…

ロシア語で帽子を言うには? キャップ帽からロシア帽まで

どうも、僕です。 今回はロシアの帽子についてまとめたいと思います。 ロシア語でさまざまな帽子の言い方をまとめます。 ロシア旅行の際に、お土産でロシア帽を買うときもあるかもしれませんし、ロシアで生活しているときに帽子を買わなければならないことも…

ロシア語で「髪を切りたい」と言うとき: 美容院はどこ? 予約してないけどOK?

今回はロシアで髪を切るときの最低限の表現をまとめます。 ロシアに長期に滞在していると、髪が長くなります。自分で切ればいいのですが、そうすることができない場合、現地の床屋に行って髪を切らなくてはなりません。 そのための最低限の表現を紹介します…

「私は筆記体が読めません。普通に書いてください。」とロシア語で言うには?

どうも僕です。 英語も含めて私は基本、筆記体を書けませんし読めません。特にロシア語の筆記体は絶望的なものです。もっと素直に言えば、キ●ガイです。ええ。反論は認めません。これだけは。在日ロシア人含めて、ロシア人にロシア語を教えてもらっていると…

追記: xymatrixによる可換図式のテンプレート

これまでxymatrixによる可換図式のテンプレートを書いた。その一連の記事は Part I Part II Part III である。これらは少し読みづらいと思う。こちらの記事の方が見やすいと思う。適宜参照しても構わない。

加法圏における射の行列表示について: Conceptual Mathematics Session 26

概要: LawvereとSchauel共著のConceptual Mathematicsのsession 26には加法圏について議論されている。そこでは射の行列表示を定義して、Exercise 1(p.280)の問題はこの行列表示は普通の行列(線形代数で現れる行列)と同じように計算できることを示せというも…

反変ベクトルと共変ベクトルについて

概要 反変ベクトル(contravariant)と共変ベクトル(covariant)を解説する。これらは直行基底のときは区別はない。が、一般のテンソルには区別が必要である。 完全に自分のためにノートです。あしからず。 基底の変換とベクトルの成分(座標)の変換を比較して、…

圏・関手・自然変換の定義の裏話について

圏論において最も重要な概念は圏(category)と関手(functor)と自然変換(natural transformation)である。これらの関係は次のように言われる。 「圏は関手を定義するために定義され、関手は自然変換を定義するために定義された」 これは アイレンバーグ・マッ…

英語で「食べられないものある?」と言うには?

どうも僕です。 外国人と交流するとき、まずその人の食べられないものを聞かなければなりません。それは宗教上の理由や思想の理由やアレルギーの理由などがあるからです。 このとき、英語でどのように聞けばいいのでしょうか。それは次のように言えばいいで…

愚痴: 家庭教師のアルバイトをして思ったこと。

どうも僕です。 今回は愚痴です。 家庭教師のアルバイトを一年近くおこない、最近辞めました。ですので、ここで愚痴だったり私が感じたことを書きたいと思います。 家庭教師のメリット・デメリット 家庭教師のメリット 家庭教師のデメリット 家庭教師へのア…

「ごみ」についてのロシア語: ごみ収集所、ごみ袋など

どうも僕です。 今回はロシアで生活する上で最も大事なことである「ごみ」についての言葉をまとめたいと思います。 ロシアで生活するとき、最初に気をつけなければならないのが、ごみの問題です。 それについての言葉をまとめます。 ちなみにロシアでは日本…

第五回: Pythonで素数を探す----エラトステネスのふるい

概要 素数を調べるエラトステネスの篩と呼ばれるアルゴリズムをPythonで実装する。それを利用して、双子素数を求めるプログラムを作る。 # Function of prime numbers, i.e., Sieve of Eratosthenes def prime(n): l = list(range(2, n+1)) i = 0 while i < …

とても便利なロシア語のパジャールスタ(пожалуйста): 3つの意味

どうも僕です。 今回はロシア語のパジャールスタ(пожа́луйста)の3つの意味を紹介します。 Пожалуйстаの意味① 依頼 Пожалуйстаの意味② 許可・提供 Пожалуйстаの意味③ 返答 パジャールスタの書き方は少し変わっていますが、そこさえクリアすれば(それか書くこ…

第4回: 整数問題をPythonで解く----if条件とfor条件の使い方

どうも僕です。 今回は、東大の入試問題をプログラムを使って解いてみます。 予備知識 リスト if条件 for条件 プログラムを書く おまけ

第3回: フィボナッチ数列や階乗などの再帰的な関数をPythonで作る

概要 のような漸化式をPythonで定義する方法を示す。そのような再帰的な関数の例として、フィボナッチ数列 と階乗 のプログラムを書く。 漸化式のプログラム フィボナッチ数列のプログラム 階乗のプログラム

AIの特徴とその欠点(と思われるもの)

最近は忙しい。 書こうと思っているけれどもなかなか書けない。ネタがないわけではないが、まだまとまっていないから書けない。就活のこととか書きたいと思うし、数学のことやプログラミングやロシア語などもまとめなければならないが、なかなか難しい。 今…

Always(いつも)とAll the time(いつも)の違いとは? オマケでロシア語も。

どうも僕です。久々のアップです。 おととい(8/31)は久々のくりぃむしちゅーのラジオでした。 全く知らず翌日になってアップされていたのを恥ずかしながら聴きました。 内容はあいかわらずです。 さて、今回は日本語の「いつも」に対して、英語にはAlwaysとA…

杉田水脈 論文『「LGBT」支援の度が過ぎる』の内容のまとめ(批判・批評)

今回は今話題の新潮45の2018年8月号に寄稿された杉田水脈衆議院議員(以下敬称略)の論稿『「LGBT」支援の度が過ぎる』pp.57-60の批判・批評まとめです。 新潮45 2018年08月号 出版社/メーカー: 新潮社 発売日: 2018/07/18 メディア: 雑誌 この商品を含むブロ…

人物描像: 村松正隆先生 ---- 皮肉混じりなしゃくれ

村松先生は現在北大の文学部に所属している。私は哲学や社会学を学ぶために、文学部の授業にもぐりをしていた。そのときに出会った先生の一人である。その授業はフランス社会思想史であった。コントやトクヴィルやデュルケームなどのフランス革命以後のフラ…

留学で学んだこと考えたこと(1): 自分の誤りを認めることの難しさ

どうも僕です。 今日はエッセイです。留学したときに学んで考えたことをまとめました。セクションがないので読みにくいかもしれませんが、読んでくれたら嬉しいです。

第2回: Pythonで中央値と平均値を求めるプログラムとグラフを作ってみた

こんにちは。 どうも僕です。 今日はPythonで中央値と平均値を求めるプログラムを作ったのでそれをまとめます。さらにヒストグラムというグラフを図示する方法も書きたいと思います。ただ、こちらの方は不完全であることをはじめに言います。そして、ヒスト…

乃木坂46のシングル曲のランキングまとめ

どうも僕です。 今日は適当です。 だいぶ前(今年の2月)に乃木坂ファンによるランキングが発表されました。乃木中では20位以下が発表されましたが、100位から21位までは別のところで発表されました(46時間テレビかな)。 それのまとめです。シングル曲のみをま…

第1回: Pythonで最大公約数と最小公倍数のプログラムを書いた

どうも僕です。 Python(パイソン)を勉強し始めたので、いろいろなプログラムを書いています。今回は最大公倍数と最小公倍数を求めるプログラムを書きました。プログラムを書きながら、Pythonの使い方を勉強しています。私は数年前にC言語を少し授業で勉強し…

数学におけるアイディアとコンセプト

多くの人は数学は難しいと思われている。だから、いつの世もどこでも数学嫌いが多い。 確かに難しい。だが、数学を学んで私が思うことは「数学のアイディア自体は難しくなくシンプルである」ということである。例えば、微分のアイディアは接線であったり速度…

随伴とモナド (1): Introduction これからやることとモナドの歴史

どうも僕です。 最近、しばらくご無沙汰でありました。書こうと思っていたけれどもなかなか書けませんでした。ですが、この間にもブログのアクセス数は200/1dayのときもあり、とても驚きました。どの記事が見られているか調べたら、旅行に使えるロシア語が一…