このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

基本スキル

関数型としての配列とレコード、それに関連すること

モノ(値)かコト(事態、動作)か モノとコトの相互変換 soft-nothing と hard-nothing ⊥の追加、厳密射、リフト 結局は、バンドルと層を使うことになるな。 集合圏の始対象/終対象の非対称性 関数と関数型(べき、指数) 特異値と非特異台 外延的記法によ…

とりあえず思い付きで列挙

正規表現、オートマトン、BNFによる表現 構文図とモダンなフロー図 再帰下降パージング ビットストリーム(バイトに限らない)による通信 バイト(あるいはワード)単位のビットによる画像表現 メタ情報、ヘッダ、コンテンツ(ペイロード) マルチプレックス…