Prince
音楽療法
朝5時起床。今日は火曜日。一応晴れ。
朝食後、散歩、筋トレ、新聞を読むというルーチンワークをこなしました。
今日のリワークは"交流分析"と"音楽療法"でした。
"交流分析"は時間の構造化ということでここ一二週間の時間の使い方を分析。
とりわけ今は有効な時間を費やしていると思っているので、このままでいいかなーっと思っています。
また基本的な人生態度は、"I'm not OK. You are OK"なので、
もう少し自分の気持ちを正直に言葉に出して伝える必要があるなあっと感じました。
午後の"音楽療法"は"ヨガ"の先生がお休みのため、ピンチヒッターで登場。
赤ちゃんの柵のベットでガラガラ鳴って回るおもちゃの音の音色がしているような気がして
とても癒されました。
明日のリワークは"認知行動療法"と"ニュースレター秋号制作２回目"です。頑張りまーす。
今日の読書も進展なし。
・圏論入門 (数学のかんどころ) 前原 和壽（P.93/204読了）
今日は22時までに寝る。
哲学者のための圏論入門 森田真生 buff.ly/2onyjT3 これはかなりわかりやすい…
— Yuta Kashino (@yutakashino) 2017年3月31日 - 15:15
#今日の圏論
— 結城浩 (@hyuki) 2018年9月16日 - 20:26
#圏論の基礎
自然変換が定める射の関数
定義から機械的に証明できたけどいいのかな（きっといい）
文字のオーバーロードがすごいな pic.twitter.com/yqcVNqmZSs
#今日の圏論
— 結城浩 (@hyuki) 2018年9月17日 - 04:36
#圏論の基礎
射hが右逆射を持つときhはエピ。
射hが左逆射を持つときhはモニック。
書籍下から9行目の「それ」を誤読して苦戦した😢 pic.twitter.com/Yd2LrGOZZk
#今日の圏論
— 結城浩 (@hyuki) 2018年9月16日 - 21:21
#圏論の基礎
可逆な射
同型な対象
モニック射
エピ射 pic.twitter.com/eg3EaVoZy3
【イタリア料理の雑学】
— あざらしアイドル組 (@huusenazarasi) 2018年9月17日 - 07:06
本場のイタリアやアメリカで
ピザにタバスコをかける習慣はなく、
パスタにスプーンを使うのも食べ慣れ
ていない子供くらいで日本とは少し
食べ方の習慣に違いがありますね😋
#今日は何の日
#敬老の日… twitter.com/i/web/status/1…
onna - 17 goo.gl/cigcWw
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 10:16
onna - 18 goo.gl/cWUTYn
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 10:45
位相空間の命題の証明がフィルターを使うと簡単になることがある理由を説明します。
— Loveブルバキ(ラブル) (@lovebourbaki) 2018年9月17日 - 11:51
まず、前提としてフィルターを使った証明は、位相空間を一般化した収束空間でも有効です。
その上で、位相空間は"位相的"というある意味特殊な状況なので、一般的な収束空間では成り立たない性質が成り立ちます。
すると、数学はできるだけ一般化するので、位相空間の概念はできるだけ弱い概念で定義します。"位相的"であれば同値ですが、一般の収束空間では弱いという意味です。例えば、連続写像を開集合で定義したり、コンパクトを開被覆で定義したりしますよね。これらは弱い概念です。
— Loveブルバキ(ラブル) (@lovebourbaki) 2018年9月17日 - 11:57
位相空間では、"位相的"の性質を使って弱い概念が強い概念と同値であることを導きます。例えば、連続写像が各点連続であることなどです。
— Loveブルバキ(ラブル) (@lovebourbaki) 2018年9月17日 - 11:57
こういう周り道を使って位相空間の性質を証明していきます。これが証明が面倒になる原因です。
一般の収束空間では弱い概念が役に立たないので、最初から強い概念で定義します。なので、強い性質から始めるから証明が簡単なのは当然です。
— Loveブルバキ(ラブル) (@lovebourbaki) 2018年9月17日 - 12:00
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 13:18
onna - 19 goo.gl/K4wTiK
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 13:35
Julia 0.7 環境にて pyjulia を経由して Julia呼び出しできました。
— ごまふあざらし (@MathSorcerer) 2018年9月17日 - 13:15
PythonからJuliaを呼び出したいんだ qiita.com/SatoshiTerasak…
圏論とプログラミングについての文章です kurims.kyoto-u.ac.jp/~kenkyubu/koka…
— 足跡45(mstdnもあるよ) (@ashiato45) 2018年9月16日 - 22:36
#今日の圏論
— 結城浩 (@hyuki) 2018年9月17日 - 16:54
右逆射を持つ射はエピ。
左逆射を持つ射はモニック。
証明が間違っていたので修正。
任意の平行射について考えなくてはいけなかったのに、特殊な射について述べていました。ご指摘感謝。 pic.twitter.com/Pdu8S5kiK5
onna - 20 goo.gl/xgfQ5H
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 17:22
#今日の圏論
— 結城浩 (@hyuki) 2018年9月17日 - 17:44
#圏論の基礎
冪等射の分裂 pic.twitter.com/Js0EYmvnmy
敬老の日 goo.gl/K7u17S
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 21:03
『 食欲の秋だから…
— あざらしアイドル組 (@huusenazarasi) 2018年9月17日 - 19:43
悪魔のささやきダイエット 』
#イラスト
言葉の誘惑に負け
モコモコの着ぐるみで体型を隠すタイガー
イラスト
中学生イラストレーター 神々偉武
@kamigamiibu
#色鉛筆… twitter.com/i/web/status/1…
9月30日の衣裳合わせだにゃん😻 pic.twitter.com/poLNeKYUJn
— 安美奈子 (@Eri_Rakssharki) 2018年9月17日 - 21:30
— ナカナカピエロ (@NakanakaPierrot) 2018年9月17日 - 21:40
#今日の圏論
— 結城浩 (@hyuki) 2018年9月17日 - 22:01
#圏論の基礎
ヌル対象とゼロ射。
Abのヌル対象は0!ってあったけど、このビックリは階乗じゃなく感嘆符ですよね。
疑問①ところでAbの対象0というのは単位群のことかな。
疑問②ここではAbが例になってたけど、Grpで… twitter.com/i/web/status/1…
