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

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

ゆっくり学ぶアーベル圏 第1回: これからの予定, 加法圏とアーベル圏を勉強する。Introduction

サボり記事第七弾

予約投稿第六弾 2/4, 23:59予定

 

私はいま層(Sheaves)を勉強しています。そのためアーベル圏(Abelian categories)を勉強しています。ですので、これから圏からはじまり加法圏とアーベル圏を少しずつ書きたいと思います。アーベル圏の入門みたいなものです。

続きを読む

読書感想#8 エドワード・ルトワック著、奥山真司訳『戦争にチャンスを与えよ』

 

 今回は書評です。

 戦略家として世界的に有名なエドワード・ルトワックさんの『戦争にチャンスを与えよ』です。

戦争にチャンスを与えよ (文春新書)

戦争にチャンスを与えよ (文春新書)

 

 『戦争にチャンスを与えよ』エドワード・ルトワック、奥山真司訳、文春新書、2017文藝春秋電子書籍

 

タイトルは過激ですが、内容はまっとうか右寄りのものです。戦争について考えるきっかけとなる本だと思います。

  • 本書のまとめ
  • 各章のまとめ 
    • 第一章 自己解題「戦争にチャンスを与えよ」
    • 第二章 論文「戦争にチャンスを与えよ」
    • 第三章 尖閣武装人員を常駐させろ---中国論
    • 第四章 対中包囲網のつくり方---東アジア論
    • 第五章 平和が戦争につながる---北朝鮮
    • 第六章 パラドキシカル・ロジックとは何か---戦略論
    • 第七章 「同盟」がすべてを制す---戦国武将論
    • 第八章 戦争から見たヨーロッパ---「戦士の文化」の喪失と人口減少
    • 第九章 もし私が米国大統領顧問だったら---ビザンティン帝国の戦略論
    • 第十章 日本が国連常任理事国になる方法
  • ルトワックの略歴
  • ルトワック語録
  • 感想
    • 第一章・第二章
    • 第三章・第四章
    • 第五章 
    • 第七章・第八章
    • 第九章・第十章
  • パラドキシカル・ロジックを批判する   変分学的思考
続きを読む

圏論(Category Theory)についての覚書: 圏論の基礎を整理する(3): 圏論の基礎概念をおおざっぱにまとめる

サボり記事第六弾
予約投稿第五弾 2/3 23:59予定

 今回は圏論のことについて続きを書きます。こちらが 前回の記事で、こちらが、 最初の記事です。

 

f:id:yoheiwatanabe0606:20170923075005p:plain

 

 

  • 第II部: Functors, Natural Transformations, Equivalences and Yoneda Lemma
    • 関手(Functors)
      • 関手の例
      • フェイスフル・フル・エッセンシャリ・サージェクティブ
      • 関手の合成と恒等関手と圏の圏 
    • Limits and Colimits
    • 自然変換(Natural Transformations)
      • ファンクター・カテゴリー(Functor categories)
      • イクィバレンス(Equivalences)
    • 米田の補題(the Yoneda Lemma)
  • 第III部: Adjoints and Monads
    • 随伴(Adjoints, Adjunctions)
      • 随伴の直観的定義 
      • 随伴は自然同型である
      • 随伴の例
      • 随伴の他の定義とその同値の証明 
      • イクィバレンスは随伴より条件が強い。
      • アジョイントの存在定理
    • Monads
  • 最後に 

 

続きを読む

「妊娠していますか?」を英語で言うと?

サボり記事第五弾

予約投稿第四弾 2/2, 23:59予定

 

女性のお腹がふっくらしているのを見て、「もしかして妊娠しているのかな」と思うことがあると思います。そのとき英語でなんと言えばいいのでしょうか? すぐに思いつくのは「Are you pregnant?」だと思います。が、それはあまりに直接的な言い方ですので、ふさわしくないかもしれません。今回は「妊娠していますか?」を英語で言う言い方を紹介します。

  •  そもそも妊娠しているかどうか聞いていいのか?
  • 「あなたは妊娠していますか?」の間接的な表現
    • Are you with child?
    • Are you expecting?
  • +アルファ: 「何ヶ月目ですか?」と「3ヶ月目です」と言うには?
  • 最後に 「妊娠していますか?」の3つの表現: より婉曲的な表現から直接的な表現

 

続きを読む

福澤諭吉の『文明論之概略』のpp.108-116(120)を読んで感動した話

サボり記事第四弾

予約投稿第三回: 2/1, 23:59予定。

 

今回は福澤諭吉の著書『文明論之概略』の一部を紹介したいと思います。

私は何年か前に中戸川先生から『文明論之概略』をもらいました。途中で読むのをやめましたが、第四章の「一国の智徳」に書かれてある「統計的手法」についての箇所を読んだとき「諭吉すげぇー」と思ったのでその感動が伝わればいいなと思います。

現代語訳『文明論之概略福澤諭吉齋藤孝訳、ちくま文庫、2013年、第1刷発行

 

 

  •  第四章: 一国の智徳 セクション 「統計」という方法(pp.108-112)からセクション原因には「近因」と「遠因」がある(pp.112-116)の要約
    • セクション 「統計」という方法(pp.108-112)
    • セクション 原因には「近因」と「遠因」がある(pp.112-116)
  • 雑多な感想
    • 驚嘆なワケ
    • 福澤の思想とその後の影響
  • 最後に

 

 

続きを読む

数学の一般化について: 一次関数と比例の簡単な例を用いて

サボり記事第二弾

予約投稿する。1/30, 23:59

うまくいくといいんだけど。

今回は数学の一般化について、一次関数({y = ax + b})と比例({y = ax})の例を用いて議論したいと思います。

続きを読む