モノイド圏 トレース/コンパクト閉圏 圏一般論 高次圏論 モナド indexed/fibred圏 多圏 ======== プログラム意味論 インスティチューション 余代数 量子計算 DFD TQFT 物理っぽい からみ系 論理 形式言語理論 janus msched WCC XML その他代数 ホッピングボール ToySys JavaScript Erlang その他プログラミング ======== まとめ 復習 課題 問題 説明 山勘 計算 気付いた 具体例 お絵描き 人物 ======== 用語法 メモ法 リンク メモ 雑記 雑感 小咄 連絡的 講座 セミナー 子供 記録 飲食サービス 自分情報 オフトピック 後で消す ======== 人物リンク 絵図リンク オフライン文献 グロッサランダム 日付管理 ++++++++ タグ説明 紛失物 探してみる 捨てる 教訓 文献 基本スキル 檜山の状況 cathand 講習 M3 M4 臨時 型検査 caty Mx caty-depl JSON MicroApp paypal docu flash F1 映画 goog 本 本棚 本棚検索 マンダラ 雑記/備忘 Caty更新 掃除と整理 関手データ server J言語 extract Coq 確率統計 インストール/設定 emacs R言語 情報幾何 git コマンド その他ソフトウェア グラフ理論 ======== //////// ダメ出し tips 言葉 ハマリ所 トリビア 疑問 make ラムダ計算 globular 教育 ミニマンダラ doxygen StandardML Isabelle 多義語 構文備忘 数量感覚 CADG 2016 Haskell 幾何っぽい Mizar scilab maxima pc-setup 証明シェル 画像 opetopic データベース typescript 半形式証明スクリプト 2018 STEM RSS練習問題 文言正規表現 セオリー論