2020-08-06 (Thu.)
disintegration 可能な affine CD 圏での条件付き独立性/
2020-08-06 (Thu.)
disintegration 可能な affine CD 圏での条件付き独立性/
2020-08-06 (Thu.)
概同値 (Almost Equality)/ 状態の圏/ 強概同値 (Strong Almost Equality)/
2020-08-03 (Mon.)
概要/ 参考文献/ notation/ CD圏/ 離散確率分布/
2021-02-12 (Fri.)
INDEX/ 初めに/ cumin/ 言語仕様/ cuminc/
2020-07-12 (Sun.)
INDEX/ 第二正規形 (2NF)/ 第三正規形 (3NF)/ ボイス-コッド正規形 (Boyce-Codd Normal Form; BNF)/ 第四正規形 (4NF)/ 第五正規形 (5NF)/
2020-07-09 (Thu.)
INDEX/ NOTE/ ドメイン/ 関係 (Relation)/ データベース/ 関係代数 (Relational Algebra)/ 情報無損失分解/ 従属性/
2017-02-28 (Tue.)
概要/ 実装/ 実験/
2019-09-24 (Tue.)
概要/ アンサンブル学習/ MCBTA; 予測器の選別/
2019-05-27 (Mon.)
準備/ 諸性質/ 定義: ニム和 (Nim-sum)/ ニム和と排他的論理和/ ニム和はAbel群を構成する/
2016-11-23 (Wed.), 2017-08-09 (Wed.)
INDEX/ 参考文献/ ゲームの定義 (復習)/ ゲームの値/ 2進有理数/ 無限小/ ゲームの自然数倍/
2017-06-17 (Sat.)
index/ 行列ゲームとは何か/ ゼロ和ゲームとは何か/ 純粋戦略/ 混合戦略/ 双行列ゲーム (非ゼロ和ゲーム)/ ナッシュ均衡 (非協力均衡点)/ 参考文献リスト/
2017-04-23 (Sun.)
index/ 前提/ ゲームの和 (直和, 選択和)/ ゲームの反転/ ゲームの等価性 ($=$, $\ne$)/ 半順序 ($\geq, >, \|, \rhd, \unrhd$)/ ゲームの標準形/ 誘因 (incentives)/
2017-04-23 (Sun.)
組み合わせゲームとは何か/ 組み合わせゲームの帰結類/
2017-03-25 (Sat.)
index/ 不偏ゲームとは何か/ コンウェイによる抽象化/ グランディ数/ ゲーム和 (直和) とそのグランディ数 (ニム和)/
2019-11-01 (Fri.)
概要/ トポスはイコライザーを持つ/ トポスはプルバックを持つ/
2019-10-19 (Sat.)
前層の圏/ 前層はトポス/
2019-10-17 (Thu.)
定義/ イコール射/ singleton 射/ Set での例/
Make 10, Eight Queens, 笑わない数学者からの挑戦状 (Mathematical Goodbye), Binary Puzzle
2017-06-25 (Sun.)
Make 10/ Eight Queens/ 笑わない数学者からの挑戦状 (Mathematical Goodbye)/ Binary Puzzle/ 参考/
2020-04-23 (Thu.)
参考文献/ 多腕バンディット問題/ 基本方針/ Epsilon-Greedy/ Epsilon-Greedy/Softmax 探索/ UCB1 (Upper Confidence Bound)/ UCB1-Tuned/
2017-02-12 (Sun.)
超準解析とは何か?/ 定義/ 諸定理/ 定義/ Ultrapower/ 無限小、無限大/
2020-09-05 (Sat.)
参考/ モノイド作用付きモノイド/ セグメントツリー/ 遅延セグメントツリー/
2018-08-21 (Tue.)
参考/ 型/ 型の数/ タプル型の数/ Maybe 型の数/ Either 型の数/ 型の微分/
2017-02-18 (Sat.)
概要/ 実装/
2020-08-06 (Thu.)
disintegration 可能な affine CD 圏での条件付き独立性/
2020-08-06 (Thu.)
概同値 (Almost Equality)/ 状態の圏/ 強概同値 (Strong Almost Equality)/
2020-08-03 (Mon.)
概要/ 参考文献/ notation/ CD圏/ 離散確率分布/
2023-03-10 (Fri.)
前提知識/ 三角関数の加法定理/ 加法定理の系/ 参考/
2022-01-30 (Sun.)
半環/ 熱帯半環/ 熱帯半環の行列演算/ max-plus 代数の対称化/ 最短経路問題/
2021-11-14 (Sun.)
INDEX/ 記法/ 対角射と余対角射/ 前加法圏の定義/ 加法圏の定義/ 有限直積のある前加法圏は加法圏/ 加法圏は直積を持つ/ 加法圏の性質/
2021-11-13 (Sat.)
INDEX/ 群 (Group)/ 環 (Ring)/ 加群 (Module)/
2020-09-28 (Mon.)
概要/ 諸概念/ 補題 1: コンパクト空間の部分閉集合はコンパクト/ 補題 2: コンパクト空間を連続写像で写す像はコンパクト/ Remark: 開集合であることはより小さい開集合を取れることと同値/ 定理: コンパクト空間からハウスドルフ空間への連続全単射は同相写像/
2020-02-07 (Fri.)
定理/
2018-03-20 (Tue.)
近傍から開集合系を定義する./ 例. ユークリッド空間/
2017-03-11 (Sat.)
index/ 位相の定義/ 連続写像の定義/ 部分位相/ 商位相/ コンパクト/ 補題 0/ 補題 1/ 補題 2/ 補題 3/ 定理/
2021-11-28 (Sun.)
INDEX/ 表現関手/ 普遍射/
2021-11-14 (Sun.)
INDEX/ 記法/ 対角射と余対角射/ 前加法圏の定義/ 加法圏の定義/ 有限直積のある前加法圏は加法圏/ 加法圏は直積を持つ/ 加法圏の性質/
2020-08-26 (Wed.)
クライスリ圏/ 随伴への分解/
2020-08-26 (Wed.)
index/ モノイダル圏/ モノイド対象/
2020-08-03 (Mon.)
概要/ 参考文献/ notation/ CD圏/ 離散確率分布/
2019-11-01 (Fri.)
概要/ トポスはイコライザーを持つ/ トポスはプルバックを持つ/
2019-10-19 (Sat.)
前層の圏/ 前層はトポス/
2019-10-17 (Thu.)
定義/ イコール射/ singleton 射/ Set での例/
2019-02-11 (Mon.)
INDEX/ 概要/ 関連/ 諸定義/ 関手 $(-)^A$/ 冪と eval の普遍性/ 例. 集合の圏/
2019-02-08 (Fri.)
概要/ 復習/ 随伴の合成はモナド/ 例 - リストモナド/ 例 - 状態モナド/
2018-11-20 (Tue.), 2022-07-24 (Sun.)
INDEX/ 参考/ F-代数/ F-代数の圏/ F-始代数/ Lambek の補題/
2018-11-14 (Wed.)
INDEX/ 概要/ 準備/ 帰納極限/ 射影極限/
2018-11-10 (Sat.)
関手 $\mathcal C$/ 米田の補題/
2018-08-19 (Sun.)
層の定義/ 層の射/ 層の直積/ 層の冪/ evaluation/
2018-07-08 (Sun.)
Kleisli triple の定義/ 冪関手 (fmap)/ 自然変換/ モナド/ メモ (2018/08/23)/
2017-02-04 (Sat.)
INDEX/ 群・モノイドの圏/ 群・モノイドの作用/ 双対空間/ 反対圏と圏同型/ 自然変換/ 圏同値/
2018-08-19 (Sun.)
層の定義/ 層の射/ 層の直積/ 層の冪/ evaluation/
2018-04-22 (Sun.)
Def. 前層、層/ 諸定義/ Def. 中間層/ 前層から中間層への誘導/ 誘導されたそれが中間層であることの確認/ 中間層から層への誘導/ 誘導されたそれが層であることの確認/
2017-11-12 (Sun.)
index/ 前層 (preshaef)/ 両立 (compatible)/ 層 (sheaf)/
2017-09-30 (Sat.)
index/ ベクトル、ベクトル場に沿う偏微分/ フローとベクトル場/ 例題 8.2.6/ 行列群の計量/ 行列群の計量 2/ $k$-枠場 ($k$-frame field)/ 勾配ベクトル場 (grad)/ 例 8.5.1: 勾配ベクトル場、勾配フロー/ 例 8.5.2/
2017-09-23 (Sat.)
index/ 概要/ 速度パラメータ/ 測地線/ 平行移動/ 指数関数/ 等長変換/ リーマン計量の存在/ 超曲面上の運動/
2017-07-17 (Mon.)
index/ ユークリッド空間の長さ/ リーマン計量/ リーマン多様体/
2017-07-16 (Sun.)
連結の定義/ 単球中のフロー/ 連結成分の同値関係/ ベクトル場の射影/
2017-07-16 (Sun.)
コンパクト多様体の上のベクトル場/
2017-05-28 (Sun.)
諸定義/ アイソトピーを生成するベクトル場/ フローの時刻非依存性/ フローの軌道/ ベクトル場からフローの導出/
2017-01-07 (Sat.)
index/ notation, definitions/ $n$ 単体/ 複体/ (1次元) 複体のホモロジー/ (2次元) 複体のホモロジー/
2017-05-20 (Sat.)
index/ notation/ 定理/ 定理/ 定理/ 微分 (ライプニッツ則)/ 方向微分/
2017-05-06 (Sat.)
微分可能多様体の定義/ 接ベクトル/ 多様体の上の写像/ 接写像/ 接写像の行列表示/
2017-02-21 (Tue.)
INDEX/ 曲線/ 接ベクトル・接空間/ $T$ の作用/ 接写像 (tangent map)/ 部分多様体/ 接束/
2017-02-12 (Sun.)
INDEX/ 概要/ $n$ 次元 $C^r$ 級微分可能多様体の定義/ 例. $S^n$/ 例. $S^n/\sim$/ 座標変換/ ファイバー束/ 向き付け/
2017-02-12 (Sun.)
ユークリック空間上の $p$ 次元部分多様体の定義/
2016-12-24 (Sat.)
INDEX/ 多変数関数の微積分/ 線積分/ 面積/ グリーンの定理/ 閉じた (closed) 微分式と完全 (exact) な微分式/ 曲面/ 面積分/ ガウスの定理/ ストークスの定理/ 曲率/ ガウス写像/ 微分形式/ 外微分 $d$/ ストークスの定理 (統一バージョン)/ ドラム・コホモロジー/
2020-04-23 (Thu.)
参考文献/ 多腕バンディット問題/ 基本方針/ Epsilon-Greedy/ Epsilon-Greedy/Softmax 探索/ UCB1 (Upper Confidence Bound)/ UCB1-Tuned/
2017-12-16 (Sat.)
教科書/ 状態遷移モデル/ 定義/
2015-01-14
概要/ 正提示からの推論/ 無矛盾な推論/ 極小言語戦略/ 有限の厚み/
2015-01-14
Introduction/ 汎化システム/ 汎化システムの完全性/ 正規パターン (Regular Pattern)/
2015-11-13
参考文献/ 諸定義/ E. Mark Gold による言語の極限同定/ Dana Angluin のパターン言語/ その他の話題/ おわりに/
2017-09-30 (Sat.)
index/ ベクトル、ベクトル場に沿う偏微分/ フローとベクトル場/ 例題 8.2.6/ 行列群の計量/ 行列群の計量 2/ $k$-枠場 ($k$-frame field)/ 勾配ベクトル場 (grad)/ 例 8.5.1: 勾配ベクトル場、勾配フロー/ 例 8.5.2/
2017-09-23 (Sat.)
index/ 概要/ 速度パラメータ/ 測地線/ 平行移動/ 指数関数/ 等長変換/ リーマン計量の存在/ 超曲面上の運動/
2017-07-17 (Mon.)
index/ ユークリッド空間の長さ/ リーマン計量/ リーマン多様体/
2017-07-16 (Sun.)
連結の定義/ 単球中のフロー/ 連結成分の同値関係/ ベクトル場の射影/
2017-07-16 (Sun.)
コンパクト多様体の上のベクトル場/
2017-05-28 (Sun.)
諸定義/ アイソトピーを生成するベクトル場/ フローの時刻非依存性/ フローの軌道/ ベクトル場からフローの導出/
2017-05-20 (Sat.)
index/ notation/ 定理/ 定理/ 定理/ 微分 (ライプニッツ則)/ 方向微分/
2017-05-06 (Sat.)
微分可能多様体の定義/ 接ベクトル/ 多様体の上の写像/ 接写像/ 接写像の行列表示/
2017-02-21 (Tue.)
INDEX/ 曲線/ 接ベクトル・接空間/ $T$ の作用/ 接写像 (tangent map)/ 部分多様体/ 接束/
2017-02-12 (Sun.)
INDEX/ 概要/ $n$ 次元 $C^r$ 級微分可能多様体の定義/ 例. $S^n$/ 例. $S^n/\sim$/ 座標変換/ ファイバー束/ 向き付け/
2017-02-12 (Sun.)
ユークリック空間上の $p$ 次元部分多様体の定義/
2016-11-11 (Sun.)
INDEX/ テキスト/ 可能世界意味論/ 内包的文脈/ 内包論理 (内包タイプ理論)/ two-sorted type theory/ neo-Davidsonian approach (新 Davidson 方式)/ モンタギュー意味論 (Montague Semantics)/ モンタギュー意味論の問題点/ ダイナミック意味論/
2013-07-21 (Sun.)
拡散方程式/ 前進オイラー法/ 後退オイラー法/ クランク・ニコルソン法/
2017-02-14 (Tue.)
概要・加速法とは何か/ Richardson 加速/ Aitken 加速/ Aitken 加速の実装/ Aitken 加速のテスト/
2017-03-08 (Wed.)
INDEX/ あらまし/ レポジトリ/ データセットの利用/ オートエンコーダ (`autoencoder.py`)/
2023-06-26 (Mon.)
参考文献/ INDEX/ 多目的最適化概要/ パレートフロンティア/ パレート最適化/ 最適化手法/
2021-06-03 (Thu.)
参考文献/ 概要/ 最適輸送問題/ Sinkhorn-Knopp アルゴリズム, Sinkhorn 距離/ ソートへの応用/
2019-06-01 (Sat.)
概要/ 参考文献/ 準備/ 変換方法/
2019-04-29 (Mon.)
諸定義・抄/ ルジャンドル変換/
2018-02-28 (Wed.)
参考文献/ scipy/ 実装/
2016-01-17 (Sun.) 01:31:22 JST
強化学習の概要/ Q学習で tic-tac-toe/
2017-02-22 (Wed.)
INDEX/ 多項式と解析関数/ 代数的集合と解析的集合/ 臨界点と特異点/ 特異点/ 特異点解消定理/
2017-02-22 (Wed.)
概要/ リンク/ INDEX/
2016-09-18 (Sun.)
index/ 内積空間/ ヒルベルト空間/ コーシー・シュワルツの不等号 (Cauchy-Schwarz inequality)/ 偏角/ グラム行列/
2016-09-18 (Sun.)
index/ 特徴空間での線形回帰/ PCA/ クラスタリング (例)/ 集合カーネル (例)/ カーネルのモジュール性/
2016-09-18 (Sun.)
index/ パターン解析とは何か/ パターン解析アルゴリズム/ 教師アリ (supervised) タスク/ 半教師アリ (semisupervised) タスク/ 教師ナシ (unsupervised) タスク/
2016-09-18 (Sun.)
index/ 線形分類/ 双対表現/ 特徴空間/ まとめ/ カーネル関数を用いることの利点/
2016-09-18 (Sun.)
参考資料・テキスト/ ノート/
2019-12-15 (Sun.), 2020-01-07 (Tue.)
確率変数/ 確率変数の独立性/ 期待値、分散/ マルコフの不等式/ チェビシェフの不等式/ 確率変数の収束/ 大数の法則/
2019-12-14 (Sat.)
測度空間/ 確率空間/
2020-08-06 (Thu.)
disintegration 可能な affine CD 圏での条件付き独立性/
2020-08-06 (Thu.)
概同値 (Almost Equality)/ 状態の圏/ 強概同値 (Strong Almost Equality)/
2020-08-03 (Mon.)
概要/ 参考文献/ notation/ CD圏/ 離散確率分布/
2019-12-15 (Sun.), 2020-01-07 (Tue.)
確率変数/ 確率変数の独立性/ 期待値、分散/ マルコフの不等式/ チェビシェフの不等式/ 確率変数の収束/ 大数の法則/
2019-12-14 (Sat.)
測度空間/ 確率空間/
2020-12-05 (Sat.)
アダマール変換/ 高速 Walsh-Hadamard 変換/ xor-畳み込み/
2021-02-09 (Tue.)
INDEX/ 仮定する知識/ 局所有限な半順序集合/ メビウス関数/ リーマン関数（ゼータ関数）/ 反転公式/ 例. 整除関係のメビウス関数/ 直積/ 直積順序/
2023-03-17 (Fri.)
INDEX/ カテゴリカル・データの定義/ ピアソンの $\chi^2$ 検定/ オッズ比/
2021-01-06 (Wed.)
平均の同等性の検定/ 2標本t検定/ 導出/
2021-01-03 (Sun.)
INDEX/ 表記/ 前提知識/ 標本平均/ 不偏分散 (unbiased sample variance)/ χ2分布/ t分布/ F分布/
2020-12-05 (Sat.)
アダマール変換/ 高速 Walsh-Hadamard 変換/ xor-畳み込み/
2019-05-16 (Thu.)
概要/ index/ 参考/ notation/ 注意/ 普遍性によるテンソル積の定義/ テンソル積の存在/ テンソル/ 定理/ おわり/
2018-11-02 (Fri.)
定理/ 定義/ 定理の証明/
2016-12-27 (Tue.)
INDEX/ 群/ 群の作用/ 準同型写像/ 群の表現/ 定義. 部分表現/ 定義. 既約表現/ 定理. 表現の分解/ 定義. 表現の間の射/ 定義. 表現の同型/ Schur (シューア) の補題/ 定理. Abel群の既約表現は一次元/ 商群/ 共役類/ 定理. 既約表現の個数について/
2016-11-11 (Sun.)
INDEX/ テキスト/ 可能世界意味論/ 内包的文脈/ 内包論理 (内包タイプ理論)/ two-sorted type theory/ neo-Davidsonian approach (新 Davidson 方式)/ モンタギュー意味論 (Montague Semantics)/ モンタギュー意味論の問題点/ ダイナミック意味論/
2015-01-14
概要/ 正提示からの推論/ 無矛盾な推論/ 極小言語戦略/ 有限の厚み/
2015-01-14
Introduction/ 汎化システム/ 汎化システムの完全性/ 正規パターン (Regular Pattern)/
2015-11-13
参考文献/ 諸定義/ E. Mark Gold による言語の極限同定/ Dana Angluin のパターン言語/ その他の話題/ おわりに/
2018-08-21 (Tue.)
参考/ 型/ 型の数/ タプル型の数/ Maybe 型の数/ Either 型の数/ 型の微分/
2017-03-15 (Wed.)
index/ ラムダ項/ SKIコンビネータ/ ラムダ式による算術/ 不動点コンビネータ/
2017-03-08 (Wed.)
あらまし/ notation/ 書換規則/ `flatten`/ 後処理: 整形 (`trim`)/ まとめ/ 実装/
2017-02-18 (Sat.)
概要/ 実装/
2017-02-15 (Wed.)
概要/ 変形ルール/ 実装/
2019-09-08 (Sun.)
紹介する論文/ notation/ Query (量子クエリ)/ EXACT/ THRESHOLD/
2019-09-08 (Sun.)
qbit の数ベクトル表示/ ユニタリ変換/
2019-09-08 (Sun.)
量子並列性/ ドイチュのアルゴリズム (Deutsch's algorithm)/
2019-09-08 (Sun.)
qbit (量子ビット, Qbit, qubit)/ 量子ゲート/
2023-03-10 (Fri.)
前提知識/ 三角関数の加法定理/ 加法定理の系/ 参考/
2023-06-26 (Mon.)
参考文献/ INDEX/ 多目的最適化概要/ パレートフロンティア/ パレート最適化/ 最適化手法/
2023-03-17 (Fri.)
INDEX/ カテゴリカル・データの定義/ ピアソンの $\chi^2$ 検定/ オッズ比/
2023-03-10 (Fri.)
前提知識/ 三角関数の加法定理/ 加法定理の系/ 参考/
2022-01-30 (Sun.)
半環/ 熱帯半環/ 熱帯半環の行列演算/ max-plus 代数の対称化/ 最短経路問題/
2021-11-28 (Sun.)
INDEX/ 表現関手/ 普遍射/
2021-11-14 (Sun.)
INDEX/ 記法/ 対角射と余対角射/ 前加法圏の定義/ 加法圏の定義/ 有限直積のある前加法圏は加法圏/ 加法圏は直積を持つ/ 加法圏の性質/
2021-11-13 (Sat.)
INDEX/ 群 (Group)/ 環 (Ring)/ 加群 (Module)/
2021-06-03 (Thu.)
参考文献/ 概要/ 最適輸送問題/ Sinkhorn-Knopp アルゴリズム, Sinkhorn 距離/ ソートへの応用/
2021-02-12 (Fri.)
INDEX/ 初めに/ cumin/ 言語仕様/ cuminc/
2021-02-09 (Tue.)
INDEX/ 仮定する知識/ 局所有限な半順序集合/ メビウス関数/ リーマン関数（ゼータ関数）/ 反転公式/ 例. 整除関係のメビウス関数/ 直積/ 直積順序/
2021-01-06 (Wed.)
平均の同等性の検定/ 2標本t検定/ 導出/
2021-01-03 (Sun.)
INDEX/ 表記/ 前提知識/ 標本平均/ 不偏分散 (unbiased sample variance)/ χ2分布/ t分布/ F分布/
2020-12-05 (Sat.)
アダマール変換/ 高速 Walsh-Hadamard 変換/ xor-畳み込み/
2020-09-28 (Mon.)
概要/ 諸概念/ 補題 1: コンパクト空間の部分閉集合はコンパクト/ 補題 2: コンパクト空間を連続写像で写す像はコンパクト/ Remark: 開集合であることはより小さい開集合を取れることと同値/ 定理: コンパクト空間からハウスドルフ空間への連続全単射は同相写像/
2020-09-05 (Sat.)
参考/ モノイド作用付きモノイド/ セグメントツリー/ 遅延セグメントツリー/
2020-08-26 (Wed.)
クライスリ圏/ 随伴への分解/
2020-08-26 (Wed.)
index/ モノイダル圏/ モノイド対象/
2020-08-06 (Thu.)
disintegration 可能な affine CD 圏での条件付き独立性/
2020-08-06 (Thu.)
概同値 (Almost Equality)/ 状態の圏/ 強概同値 (Strong Almost Equality)/
2020-08-03 (Mon.)
概要/ 参考文献/ notation/ CD圏/ 離散確率分布/
2020-07-12 (Sun.)
INDEX/ 第二正規形 (2NF)/ 第三正規形 (3NF)/ ボイス-コッド正規形 (Boyce-Codd Normal Form; BNF)/ 第四正規形 (4NF)/ 第五正規形 (5NF)/
2020-07-09 (Thu.)
INDEX/ NOTE/ ドメイン/ 関係 (Relation)/ データベース/ 関係代数 (Relational Algebra)/ 情報無損失分解/ 従属性/
2019-05-16 (Thu.)
概要/ index/ 参考/ notation/ 注意/ 普遍性によるテンソル積の定義/ テンソル積の存在/ テンソル/ 定理/ おわり/
2020-04-23 (Thu.)
参考文献/ 多腕バンディット問題/ 基本方針/ Epsilon-Greedy/ Epsilon-Greedy/Softmax 探索/ UCB1 (Upper Confidence Bound)/ UCB1-Tuned/
2020-02-07 (Fri.)
定理/
2019-12-15 (Sun.), 2020-01-07 (Tue.)
確率変数/ 確率変数の独立性/ 期待値、分散/ マルコフの不等式/ チェビシェフの不等式/ 確率変数の収束/ 大数の法則/
2019-12-14 (Sat.)
測度空間/ 確率空間/
2019-11-01 (Fri.)
概要/ トポスはイコライザーを持つ/ トポスはプルバックを持つ/
2019-10-19 (Sat.)
前層の圏/ 前層はトポス/
2019-10-17 (Thu.)
定義/ イコール射/ singleton 射/ Set での例/
2019-09-24 (Tue.)
概要/ アンサンブル学習/ MCBTA; 予測器の選別/
2019-09-08 (Sun.)
紹介する論文/ notation/ Query (量子クエリ)/ EXACT/ THRESHOLD/
2019-09-08 (Sun.)
qbit の数ベクトル表示/ ユニタリ変換/
2019-09-08 (Sun.)
量子並列性/ ドイチュのアルゴリズム (Deutsch's algorithm)/
2019-09-08 (Sun.)
qbit (量子ビット, Qbit, qubit)/ 量子ゲート/
2015-01-14
概要/ 正提示からの推論/ 無矛盾な推論/ 極小言語戦略/ 有限の厚み/
2015-01-14
Introduction/ 汎化システム/ 汎化システムの完全性/ 正規パターン (Regular Pattern)/
2015-11-13
参考文献/ 諸定義/ E. Mark Gold による言語の極限同定/ Dana Angluin のパターン言語/ その他の話題/ おわりに/
2019-06-01 (Sat.)
概要/ 参考文献/ 準備/ 変換方法/
2019-05-27 (Mon.)
準備/ 諸性質/ 定義: ニム和 (Nim-sum)/ ニム和と排他的論理和/ ニム和はAbel群を構成する/
2019-04-29 (Mon.)
諸定義・抄/ ルジャンドル変換/
2019-02-11 (Mon.)
INDEX/ 概要/ 関連/ 諸定義/ 関手 $(-)^A$/ 冪と eval の普遍性/ 例. 集合の圏/
2019-02-08 (Fri.)
概要/ 復習/ 随伴の合成はモナド/ 例 - リストモナド/ 例 - 状態モナド/
2018-11-20 (Tue.), 2022-07-24 (Sun.)
INDEX/ 参考/ F-代数/ F-代数の圏/ F-始代数/ Lambek の補題/
2018-11-14 (Wed.)
INDEX/ 概要/ 準備/ 帰納極限/ 射影極限/
2018-11-10 (Sat.)
関手 $\mathcal C$/ 米田の補題/
2018-11-02 (Fri.)
定理/ 定義/ 定理の証明/
2018-08-21 (Tue.)
参考/ 型/ 型の数/ タプル型の数/ Maybe 型の数/ Either 型の数/ 型の微分/
2018-08-19 (Sun.)
層の定義/ 層の射/ 層の直積/ 層の冪/ evaluation/
2018-07-08 (Sun.)
Kleisli triple の定義/ 冪関手 (fmap)/ 自然変換/ モナド/ メモ (2018/08/23)/
2018-03-20 (Tue.)
近傍から開集合系を定義する./ 例. ユークリッド空間/
2018-04-22 (Sun.)
Def. 前層、層/ 諸定義/ Def. 中間層/ 前層から中間層への誘導/ 誘導されたそれが中間層であることの確認/ 中間層から層への誘導/ 誘導されたそれが層であることの確認/
2018-02-28 (Wed.)
参考文献/ scipy/ 実装/
2017-12-16 (Sat.)
教科書/ 状態遷移モデル/ 定義/
2017-11-12 (Sun.)
index/ 前層 (preshaef)/ 両立 (compatible)/ 層 (sheaf)/
2017-09-30 (Sat.)
index/ ベクトル、ベクトル場に沿う偏微分/ フローとベクトル場/ 例題 8.2.6/ 行列群の計量/ 行列群の計量 2/ $k$-枠場 ($k$-frame field)/ 勾配ベクトル場 (grad)/ 例 8.5.1: 勾配ベクトル場、勾配フロー/ 例 8.5.2/
2017-09-23 (Sat.)
index/ 概要/ 速度パラメータ/ 測地線/ 平行移動/ 指数関数/ 等長変換/ リーマン計量の存在/ 超曲面上の運動/
2016-11-23 (Wed.), 2017-08-09 (Wed.)
INDEX/ 参考文献/ ゲームの定義 (復習)/ ゲームの値/ 2進有理数/ 無限小/ ゲームの自然数倍/
2017-07-17 (Mon.)
index/ ユークリッド空間の長さ/ リーマン計量/ リーマン多様体/
2017-07-16 (Sun.)
連結の定義/ 単球中のフロー/ 連結成分の同値関係/ ベクトル場の射影/
2017-07-16 (Sun.)
コンパクト多様体の上のベクトル場/
2017-05-28 (Sun.)
諸定義/ アイソトピーを生成するベクトル場/ フローの時刻非依存性/ フローの軌道/ ベクトル場からフローの導出/
Make 10, Eight Queens, 笑わない数学者からの挑戦状 (Mathematical Goodbye), Binary Puzzle
2017-06-25 (Sun.)
Make 10/ Eight Queens/ 笑わない数学者からの挑戦状 (Mathematical Goodbye)/ Binary Puzzle/ 参考/
2017-06-17 (Sat.)
index/ 行列ゲームとは何か/ ゼロ和ゲームとは何か/ 純粋戦略/ 混合戦略/ 双行列ゲーム (非ゼロ和ゲーム)/ ナッシュ均衡 (非協力均衡点)/ 参考文献リスト/
2017-01-07 (Sat.)
index/ notation, definitions/ $n$ 単体/ 複体/ (1次元) 複体のホモロジー/ (2次元) 複体のホモロジー/
2017-05-20 (Sat.)
index/ notation/ 定理/ 定理/ 定理/ 微分 (ライプニッツ則)/ 方向微分/
2017-05-06 (Sat.)
微分可能多様体の定義/ 接ベクトル/ 多様体の上の写像/ 接写像/ 接写像の行列表示/
2016-01-17 (Sun.) 01:31:22 JST
強化学習の概要/ Q学習で tic-tac-toe/
2017-04-23 (Sun.)
index/ 前提/ ゲームの和 (直和, 選択和)/ ゲームの反転/ ゲームの等価性 ($=$, $\ne$)/ 半順序 ($\geq, >, \|, \rhd, \unrhd$)/ ゲームの標準形/ 誘因 (incentives)/
2017-04-23 (Sun.)
組み合わせゲームとは何か/ 組み合わせゲームの帰結類/
2017-02-21 (Tue.)
INDEX/ 曲線/ 接ベクトル・接空間/ $T$ の作用/ 接写像 (tangent map)/ 部分多様体/ 接束/
2017-03-25 (Sat.)
index/ 不偏ゲームとは何か/ コンウェイによる抽象化/ グランディ数/ ゲーム和 (直和) とそのグランディ数 (ニム和)/
2017-03-15 (Wed.)
index/ ラムダ項/ SKIコンビネータ/ ラムダ式による算術/ 不動点コンビネータ/
2017-03-11 (Sat.)
index/ 位相の定義/ 連続写像の定義/ 部分位相/ 商位相/ コンパクト/ 補題 0/ 補題 1/ 補題 2/ 補題 3/ 定理/
2017-03-08 (Wed.)
INDEX/ あらまし/ レポジトリ/ データセットの利用/ オートエンコーダ (`autoencoder.py`)/
2017-03-08 (Wed.)
あらまし/ notation/ 書換規則/ `flatten`/ 後処理: 整形 (`trim`)/ まとめ/ 実装/
2017-02-28 (Tue.)
概要/ 実装/ 実験/
2017-02-22 (Wed.)
INDEX/ 多項式と解析関数/ 代数的集合と解析的集合/ 臨界点と特異点/ 特異点/ 特異点解消定理/
2017-02-22 (Wed.)
概要/ リンク/ INDEX/
2017-02-12 (Sun.)
INDEX/ 概要/ $n$ 次元 $C^r$ 級微分可能多様体の定義/ 例. $S^n$/ 例. $S^n/\sim$/ 座標変換/ ファイバー束/ 向き付け/
2016-09-18 (Sun.)
index/ 内積空間/ ヒルベルト空間/ コーシー・シュワルツの不等号 (Cauchy-Schwarz inequality)/ 偏角/ グラム行列/
2016-09-18 (Sun.)
index/ 特徴空間での線形回帰/ PCA/ クラスタリング (例)/ 集合カーネル (例)/ カーネルのモジュール性/
2016-09-18 (Sun.)
index/ パターン解析とは何か/ パターン解析アルゴリズム/ 教師アリ (supervised) タスク/ 半教師アリ (semisupervised) タスク/ 教師ナシ (unsupervised) タスク/
2016-09-18 (Sun.)
index/ 線形分類/ 双対表現/ 特徴空間/ まとめ/ カーネル関数を用いることの利点/
2016-09-18 (Sun.)
参考資料・テキスト/ ノート/
2017-02-18 (Sat.)
概要/ 実装/
2013-07-21 (Sun.)
拡散方程式/ 前進オイラー法/ 後退オイラー法/ クランク・ニコルソン法/
2017-02-15 (Wed.)
概要/ 変形ルール/ 実装/
2017-02-14 (Tue.)
概要・加速法とは何か/ Richardson 加速/ Aitken 加速/ Aitken 加速の実装/ Aitken 加速のテスト/
2017-02-12 (Sun.)
ユークリック空間上の $p$ 次元部分多様体の定義/
2017-02-12 (Sun.)
超準解析とは何か?/ 定義/ 諸定理/ 定義/ Ultrapower/ 無限小、無限大/
2016-12-27 (Tue.)
INDEX/ 群/ 群の作用/ 準同型写像/ 群の表現/ 定義. 部分表現/ 定義. 既約表現/ 定理. 表現の分解/ 定義. 表現の間の射/ 定義. 表現の同型/ Schur (シューア) の補題/ 定理. Abel群の既約表現は一次元/ 商群/ 共役類/ 定理. 既約表現の個数について/
2016-12-24 (Sat.)
INDEX/ 多変数関数の微積分/ 線積分/ 面積/ グリーンの定理/ 閉じた (closed) 微分式と完全 (exact) な微分式/ 曲面/ 面積分/ ガウスの定理/ ストークスの定理/ 曲率/ ガウス写像/ 微分形式/ 外微分 $d$/ ストークスの定理 (統一バージョン)/ ドラム・コホモロジー/
2016-11-11 (Sun.)
INDEX/ テキスト/ 可能世界意味論/ 内包的文脈/ 内包論理 (内包タイプ理論)/ two-sorted type theory/ neo-Davidsonian approach (新 Davidson 方式)/ モンタギュー意味論 (Montague Semantics)/ モンタギュー意味論の問題点/ ダイナミック意味論/
2017-02-04 (Sat.)
INDEX/ 群・モノイドの圏/ 群・モノイドの作用/ 双対空間/ 反対圏と圏同型/ 自然変換/ 圏同値/