今日はちょっとHaskell(圏論)
今日は木曜日。曇りのち雨。
5時起床。
6時前に家を出て、会社近くのカフェでモーニング。
界隈で評判の悪かった「圏論入門 (数学のかんどころ)」をパラパラめくり。
昨日の夜、「これなら分かる応用数学教室」を一通りパラパラめくって目を通したので、
今日は気になっていたところを重点的に読んだ。
その後、以下の記事を参考にして、まずHaskellをSurface Book 2にインストールした。
・
Windows10でHaskell開発環境構築
その後、「すごいHaskellたのしく学ぼう! 」を少し実機を触りながら、再読書。
その後、以下の記事を斜め読みした。
・
「圏論とプログラミング」発表スライドメモ
そして遂にMeもalg-dのサイトにたどり着いたよ。
・
圏論
困ったときにこれは読もうと思う。
話は変わって、うちの正社員の方で、サーバサイドJavaで開発されていた方が出社していたので、
クライアントサイトJavaについてヒアリングしたところ、やはりjQueryはよく使っていたとのこと。
ということで講義でもVue.jsではなく、jQueryを採用しようと決意した。
あと、テストではApacheのJMeterを使用していたとのこと。良いことを聴いた。
で、「これなら分かる応用数学教室」のFFTのところが気になっていたので、以下の記事を読んだ。
・
FMT(高速剰余変換)の原理
・
ATC001 - C問題: 高速フーリエ変換 (FMT解法) - 日々drdrする人のメモ
・
FFTもDFTもNTTもFMTもよくわからないところから始める任意mod畳み込み(WIP)
午前中の残りの時間は「現代思想 2020年7月号 特集=圏論の世界」を眺めていた。
で、速報で、今日の東京都のコロナウィルス感染者数は280名以上、また東京を訪れて感染した方が
20道府県で41名と流れてきて、恐れおののく。
午後は、弊社の認定試験用の監視カメラについて、Raspberry PIのカメラモジュールとVNCを使って
代替方法になり得るか実機にて確認。
残りの時間は、圏論とHaskellの対応(特に米田の補題・埋め込みがカリー化と関係しているかどうか)
について調べていた。良く分からん。
16時半過ぎに時差退勤。
夕飯を外食で済ませて帰った。
今日の東京都のコロナウィルス感染者数は、286名。国内新規感染者は578名とのこと。。。増えとるやん。
それでも22日以降、東京都を除きGoToキャンペーンをやるとのこと。アホか。
風呂入って寝る。
【今後の予定】
・2020年11月~ 職業訓練校Java(4か月)
・2021年01月~ 職業訓練校Java&Python&Web技術者(3か月)
【やることリストのタスク】
・訓練校の準備(講義メモ作成:Java言語/J2EE)
・OpenCVの勉強
・以下URL記載のソースコードを理解すること。
・
ブラウザで動くオンライン対戦リバーシ作ってみた
【今日の読書】
・
すごいHaskellたのしく学ぼう! Miran Lipovača
・
これなら分かる応用数学教室―最小二乗法からウェーブレットまで 金谷 健一(読了(祝))
・
圏論入門 (数学のかんどころ) 前原 和壽
・
現代思想 2020年7月号 特集=圏論の世界 ―現代数学の最前線― 西郷甲矢人
・
10日でおぼえるjQuery入門教室 第2版 山田 祥寛
・
入門JavaScriptプログラミング JD Isaacks
・
ゼロからできるMCMC マルコフ連鎖モンテカルロ法の実践的入門 (KS理工学専門書) 花田 政範
・
ビッグデータ分析・活用のためのSQLレシピ 加嵜 長門
・
Node.js超入門[第2版] 掌田 津耶乃
・
現代思想 2020年7月号 特集=圏論の世界 ―現代数学の最前線― 西郷甲矢人(読了(祝))
・
はじめてのコンパイラ - 原理と実践 宮本 衛市
・
動きすぎてはいけない: ジル・ドゥルーズと生成変化の哲学 (河出文庫) 千葉 雅也(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) 中嶋 謙互