女との付き合い方
この曲のように女と付き合いたい
セックスして食事して街を歩き遊んで暮らしたい
この曲のように女と付き合いたい
セックスして食事して街を歩き遊んで暮らしたい
Haskellと圏論の関係
今日は金曜日。雨。
4時起床。諸々雑事。
昨日の夜、「せつラボ 〜圏論の基本〜」を読了（祝）した。
6時前に家を出て、会社近くのカフェでモーニング。
昨日届いた「新人プログラマのためのjQuery Webアプリケーション開発講座」を読書。
会社始業時からも同書籍を読書。
本書、前半は良かったが、2010年出版のせいか、後半から内容が大分古い。読了（祝）。
次に「入門はじめての時系列分析」を読書。
内容がカスカスでほとんど有益な情報を得ず、読了（祝）。
もうちょっと歯ごたえのありそうな時系列解析の本をAmazonでポチった。
その後は、もう圏論とHaskellのことしか頭になかった。
まず以下の記事が面白かった。
・遅延評価とはなにか、そしてモナドの話
・クライスリ圏（Wikipedia）
特に以下の記述は興味深い。
-------------------------------------------------------
プログラムは集合写像ではない。では、プログラムとはなにか?
それはクライスリ圏 Kleisli category の射である。
そのように考えれば、副作用、例外処理、非決定計算などの計算効果
computational effects がうまく説明できる。
-------------------------------------------------------
・モナド、あるいは自己関手の圏におけるモノイド対象について - Nao Minami's Blog
この記事にかの有名なフィリップ・ワドラーの言葉
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」
に関する解説が乗っていて面白かったよ。
さらに気になっていたIOモナドに関する記事を読む。
・Haskell IOモナド 超入門
そして昨日気になっていた米田の埋め込みがカリー化のことを指していることが分かった！面白い！
・“圏Cの米田埋め込みyCが、ホムセット関手のカリー化である”
で、教育関係の取締役からは、jQueryに関する以下の本を紹介された。
・jQuery教本（日経ソフトウェア2019年7月号付録）
それとマルチスレッドの本として以下のKindle版を購入。
・増補改訂版 Java言語で学ぶデザインパターン入門 マルチスレッド編 結城 浩
ここまでで午前中終了。
午後は上記マルチスレッドの本をぺらぺら読んでいた。
速報で、東京都のコロナウィルス感染者数が290名以上という情報が流れ凹む。
16時半過ぎに時差退勤。
夕飯を外食で済ませて帰った。
今日の東京都の新型コロナウィルス感染者数は、293名。
今日の神奈川県の新型コロナウィルス感染者数は43名。神奈川警戒アラートが発動する模様。。。
20時～Aicia Solid Projectさんの以下の動画を観る。
風呂入って寝る。
【今後の予定】
・2020年11月～ 職業訓練校Java（4か月）
・2021年01月～ 職業訓練校Java&Python&Web技術者（3か月）
【やることリストのタスク】
・訓練校の準備（講義メモ作成：Java言語/J2EE）
・OpenCVの勉強
・以下URL記載のソースコードを理解すること。
・ブラウザで動くオンライン対戦リバーシ作ってみた
【今日の読書】
・新人プログラマのためのjQuery Webアプリケーション開発講座 掌田 津耶乃（読了（祝））
・入門はじめての時系列分析 石村 貞夫（読了（祝））
・せつラボ 〜圏論の基本〜（読了（祝））
・すごいHaskellたのしく学ぼう! Miran Lipovača
・圏論入門 (数学のかんどころ) 前原 和壽
・10日でおぼえるjQuery入門教室 第2版 山田 祥寛
・入門JavaScriptプログラミング JD Isaacks
・ゼロからできるMCMC マルコフ連鎖モンテカルロ法の実践的入門 (KS理工学専門書) 花田 政範
・ビッグデータ分析・活用のためのSQLレシピ 加嵜 長門
・Node.js超入門[第2版] 掌田 津耶乃
・はじめてのコンパイラ - 原理と実践 宮本 衛市
・動きすぎてはいけない: ジル・ドゥルーズと生成変化の哲学 (河出文庫) 千葉 雅也（P.49/475読了）
・21 Lessons: 21世紀の人類のための21の思考 ユヴァル・ノア・ハラリ
・原因をさぐる統計学―共分散構造分析入門 (ブルーバックス) 豊田 秀樹
・入門Verilog HDL記述―ハードウェア記述言語の速習&実践 (Design wave basic) 小林 優（P.55/250読了）
・瀕死の統計学を救え! ―有意性検定から「仮説が正しい確率」へ― 豊田 秀樹
・新版 情報幾何学の新展開 (SGCライブラリ) 甘利 俊一（P.5/222読了）
・数学原論 斎藤 毅（P.9/339読了）
・いかにして問題をとくか G. ポリア（P.194/245読了）
・基板付きキット 絵解き マイコンCプログラミング教科書 (トラ技ジュニア教科書) 鹿取 祐二（P.15/347読了）
・オンラインゲームのしくみ Unityで覚えるネットワークプログラミング 河田 匡稔
・オンラインゲームを支える技術 －－壮大なプレイ空間の舞台裏 (WEB+DB PRESS plus) 中嶋 謙互
今日は金曜日。雨。
4時起床。諸々雑事。
昨日の夜、「せつラボ 〜圏論の基本〜」を読了（祝）した。
6時前に家を出て、会社近くのカフェでモーニング。
昨日届いた「新人プログラマのためのjQuery Webアプリケーション開発講座」を読書。
会社始業時からも同書籍を読書。
本書、前半は良かったが、2010年出版のせいか、後半から内容が大分古い。読了（祝）。
次に「入門はじめての時系列分析」を読書。
内容がカスカスでほとんど有益な情報を得ず、読了（祝）。
もうちょっと歯ごたえのありそうな時系列解析の本をAmazonでポチった。
その後は、もう圏論とHaskellのことしか頭になかった。
まず以下の記事が面白かった。
・遅延評価とはなにか、そしてモナドの話
・クライスリ圏（Wikipedia）
特に以下の記述は興味深い。
-------------------------------------------------------
プログラムは集合写像ではない。では、プログラムとはなにか?
それはクライスリ圏 Kleisli category の射である。
そのように考えれば、副作用、例外処理、非決定計算などの計算効果
computational effects がうまく説明できる。
-------------------------------------------------------
・モナド、あるいは自己関手の圏におけるモノイド対象について - Nao Minami's Blog
この記事にかの有名なフィリップ・ワドラーの言葉
「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」
に関する解説が乗っていて面白かったよ。
さらに気になっていたIOモナドに関する記事を読む。
・Haskell IOモナド 超入門
そして昨日気になっていた米田の埋め込みがカリー化のことを指していることが分かった！面白い！
・“圏Cの米田埋め込みyCが、ホムセット関手のカリー化である”
で、教育関係の取締役からは、jQueryに関する以下の本を紹介された。
・jQuery教本（日経ソフトウェア2019年7月号付録）
それとマルチスレッドの本として以下のKindle版を購入。
・増補改訂版 Java言語で学ぶデザインパターン入門 マルチスレッド編 結城 浩
ここまでで午前中終了。
午後は上記マルチスレッドの本をぺらぺら読んでいた。
速報で、東京都のコロナウィルス感染者数が290名以上という情報が流れ凹む。
16時半過ぎに時差退勤。
夕飯を外食で済ませて帰った。
今日の東京都の新型コロナウィルス感染者数は、293名。
今日の神奈川県の新型コロナウィルス感染者数は43名。神奈川警戒アラートが発動する模様。。。
20時～Aicia Solid Projectさんの以下の動画を観る。
風呂入って寝る。
【今後の予定】
・2020年11月～ 職業訓練校Java（4か月）
・2021年01月～ 職業訓練校Java&Python&Web技術者（3か月）
【やることリストのタスク】
・訓練校の準備（講義メモ作成：Java言語/J2EE）
・OpenCVの勉強
・以下URL記載のソースコードを理解すること。
・ブラウザで動くオンライン対戦リバーシ作ってみた
【今日の読書】
・新人プログラマのためのjQuery Webアプリケーション開発講座 掌田 津耶乃（読了（祝））
・入門はじめての時系列分析 石村 貞夫（読了（祝））
・せつラボ 〜圏論の基本〜（読了（祝））
・すごいHaskellたのしく学ぼう! Miran Lipovača
・圏論入門 (数学のかんどころ) 前原 和壽
・10日でおぼえるjQuery入門教室 第2版 山田 祥寛
・入門JavaScriptプログラミング JD Isaacks
・ゼロからできるMCMC マルコフ連鎖モンテカルロ法の実践的入門 (KS理工学専門書) 花田 政範
・ビッグデータ分析・活用のためのSQLレシピ 加嵜 長門
・Node.js超入門[第2版] 掌田 津耶乃
・はじめてのコンパイラ - 原理と実践 宮本 衛市
・動きすぎてはいけない: ジル・ドゥルーズと生成変化の哲学 (河出文庫) 千葉 雅也（P.49/475読了）
・21 Lessons: 21世紀の人類のための21の思考 ユヴァル・ノア・ハラリ
・原因をさぐる統計学―共分散構造分析入門 (ブルーバックス) 豊田 秀樹
・入門Verilog HDL記述―ハードウェア記述言語の速習&実践 (Design wave basic) 小林 優（P.55/250読了）
・瀕死の統計学を救え! ―有意性検定から「仮説が正しい確率」へ― 豊田 秀樹
・新版 情報幾何学の新展開 (SGCライブラリ) 甘利 俊一（P.5/222読了）
・数学原論 斎藤 毅（P.9/339読了）
・いかにして問題をとくか G. ポリア（P.194/245読了）
・基板付きキット 絵解き マイコンCプログラミング教科書 (トラ技ジュニア教科書) 鹿取 祐二（P.15/347読了）
・オンラインゲームのしくみ Unityで覚えるネットワークプログラミング 河田 匡稔
・オンラインゲームを支える技術 －－壮大なプレイ空間の舞台裏 (WEB+DB PRESS plus) 中嶋 謙互
