ナカナカピエロ おきらくごくらく

写真付きで日記や趣味を書くならgooブログ

Careless Whisper

2020-07-16 20:53:06 | 日記
Careless Whisper

今日はこんな感じ。

いつも俺って最後こうだよ。


コメント
  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

今日はちょっとHaskell(圏論)

2020-07-16 19:48:06 | 日記
今日はちょっと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) 中嶋 謙互
コメント
  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする