aiura/

(all) アルゴリズム 圏論 幾何学 意味論 数値計算 数学 日記 機械学習 ゲーム理論 線形代数 言語 計算機言語

アルゴリズム

MAX-SAT を近似的に解く

アルゴリズム

2017-02-28 (Tue.)

典型的な手法を用い、近似的に MAX-SAT を解きます

amb オペレータ

計算機言語 アルゴリズム

2017-02-18 (Sat.)

LISP の amb オペレータの Scheme による実装

圏論

ベーシック圏論 - 圏・関手・自然変換

数学 圏論

2017-02-04 (Sat.)

第一章

ベーシック圏論 - 目次

数学 圏論

2017-02-04 (Sat.)

"ベーシック圏論" を読みます

幾何学

坪井 多様体 - 接空間

数学 幾何学

2017-02-21 (Tue.)

第4章です. 接空間とか接写像とか

坪井 多様体 - 多様体の定義

数学 幾何学

2017-02-12 (Sun.)

第三章はハウスドルフ空間上の微分可能多様体を定義し、その例を見ていきます

坪井 多様体 - ユークリッド空間上の多様体

数学 幾何学

2017-02-12 (Sun.)

第二章です

ベクトル解析

数学 幾何学

2016-12-24 (Sat.)

陰関数、微分幾何学、微分形式

坪井 多様体 - 目次

数学 幾何学

2017-02-04 (Sat.)

坪井さんの「多様体入門」を読みます

意味論

現代意味論入門の読書メモ

言語 意味論

2016-11-11 (Sun.)

現代意味論入門の読書メモです

数値計算

差分法による拡散方程式の数値計算

数学 数値計算

2013-07-21 (Sun.)

前進オイラー法とか後退オイラー法とかです

Aitken 加速

数学 数値計算

2017-02-14 (Tue.)

数列の収束値を早く予測する

数学

ゲームの値

数学 ゲーム理論

2016-11-23 (Wed.)

ゲームの値

ゲームの代数

数学 ゲーム理論

2017-04-23 (Sun.)

代数を定義して諸性質を見ていきます

組み合わせゲームの帰結類

数学 ゲーム理論

2017-04-23 (Sun.)

組み合わせゲームの定義、形式的表現、帰結類 (outcome class)

坪井 多様体 - 接空間

数学 幾何学

2017-02-21 (Tue.)

第4章です. 接空間とか接写像とか

不偏ゲームのグランディ数 (ニム数)

数学 ゲーム理論

2017-03-25 (Sat.)

グランディ数とそのニム和

位相

数学

2017-03-11 (Sat.)

位相をやります

代数幾何と学習理論 - 特異点

数学 機械学習

2017-02-22 (Wed.)

第2章

代数幾何と学習理論

数学 機械学習

2017-02-22 (Wed.)

目次

坪井 多様体 - 多様体の定義

数学 幾何学

2017-02-12 (Sun.)

第三章はハウスドルフ空間上の微分可能多様体を定義し、その例を見ていきます

差分法による拡散方程式の数値計算

数学 数値計算

2013-07-21 (Sun.)

前進オイラー法とか後退オイラー法とかです

Aitken 加速

数学 数値計算

2017-02-14 (Tue.)

数列の収束値を早く予測する

坪井 多様体 - ユークリッド空間上の多様体

数学 幾何学

2017-02-12 (Sun.)

第二章です

超準解析

数学

2017-02-12 (Sun.)

ノートです

有限群の表現

数学 線形代数

2016-12-27 (Tue.)

表現論です

ベクトル解析

数学 幾何学

2016-12-24 (Sat.)

陰関数、微分幾何学、微分形式

坪井 多様体 - 目次

数学 幾何学

2017-02-04 (Sat.)

坪井さんの「多様体入門」を読みます

ベーシック圏論 - 圏・関手・自然変換

数学 圏論

2017-02-04 (Sat.)

第一章

ベーシック圏論 - 目次

数学 圏論

2017-02-04 (Sat.)

"ベーシック圏論" を読みます

日記

EMNIST でやっていく

日記

2017-03-08 (Wed.)

機械学習

代数幾何と学習理論 - 特異点

数学 機械学習

2017-02-22 (Wed.)

第2章

代数幾何と学習理論

数学 機械学習

2017-02-22 (Wed.)

目次

カーネル法 - カーネルの特性

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第4章

カーネル法 - 概要

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第3章

カーネル法 - パターン解析とは何か

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第2章

カーネル法 - Introduction

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第1章

カーネル法

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析を読む

ゲーム理論

ゲームの値

数学 ゲーム理論

2016-11-23 (Wed.)

ゲームの値

ゲームの代数

数学 ゲーム理論

2017-04-23 (Sun.)

代数を定義して諸性質を見ていきます

組み合わせゲームの帰結類

数学 ゲーム理論

2017-04-23 (Sun.)

組み合わせゲームの定義、形式的表現、帰結類 (outcome class)

不偏ゲームのグランディ数 (ニム数)

数学 ゲーム理論

2017-03-25 (Sat.)

グランディ数とそのニム和

線形代数

有限群の表現

数学 線形代数

2016-12-27 (Tue.)

表現論です

言語

現代意味論入門の読書メモ

言語 意味論

2016-11-11 (Sun.)

現代意味論入門の読書メモです

計算機言語

ラムダ計算

計算機言語

2017-03-15 (Wed.)

ラムダ式、SKI式、不動点コンビネータ

CNF (連言標準形) への書き換え

計算機言語

2017-03-08 (Wed.)

任意の論理式はCNFに書き換えられる

amb オペレータ

計算機言語 アルゴリズム

2017-02-18 (Sat.)

LISP の amb オペレータの Scheme による実装

ラムダ式からSKI式への変換

計算機言語

2017-02-15 (Wed.)

ラムダ式からSKI式への変換の実装を示す

all items

ゲームの値

数学 ゲーム理論

2016-11-23 (Wed.)

ゲームの値

ゲームの代数

数学 ゲーム理論

2017-04-23 (Sun.)

代数を定義して諸性質を見ていきます

組み合わせゲームの帰結類

数学 ゲーム理論

2017-04-23 (Sun.)

組み合わせゲームの定義、形式的表現、帰結類 (outcome class)

坪井 多様体 - 接空間

数学 幾何学

2017-02-21 (Tue.)

第4章です. 接空間とか接写像とか

不偏ゲームのグランディ数 (ニム数)

数学 ゲーム理論

2017-03-25 (Sat.)

グランディ数とそのニム和

ラムダ計算

計算機言語

2017-03-15 (Wed.)

ラムダ式、SKI式、不動点コンビネータ

位相

数学

2017-03-11 (Sat.)

位相をやります

EMNIST でやっていく

日記

2017-03-08 (Wed.)

CNF (連言標準形) への書き換え

計算機言語

2017-03-08 (Wed.)

任意の論理式はCNFに書き換えられる

MAX-SAT を近似的に解く

アルゴリズム

2017-02-28 (Tue.)

典型的な手法を用い、近似的に MAX-SAT を解きます

代数幾何と学習理論 - 特異点

数学 機械学習

2017-02-22 (Wed.)

第2章

代数幾何と学習理論

数学 機械学習

2017-02-22 (Wed.)

目次

坪井 多様体 - 多様体の定義

数学 幾何学

2017-02-12 (Sun.)

第三章はハウスドルフ空間上の微分可能多様体を定義し、その例を見ていきます

カーネル法 - カーネルの特性

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第4章

カーネル法 - 概要

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第3章

カーネル法 - パターン解析とは何か

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第2章

カーネル法 - Introduction

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析 第1章

カーネル法

機械学習

2016-09-18 (Sun.)

カーネル法によるパターン解析を読む

amb オペレータ

計算機言語 アルゴリズム

2017-02-18 (Sat.)

LISP の amb オペレータの Scheme による実装

差分法による拡散方程式の数値計算

数学 数値計算

2013-07-21 (Sun.)

前進オイラー法とか後退オイラー法とかです

ラムダ式からSKI式への変換

計算機言語

2017-02-15 (Wed.)

ラムダ式からSKI式への変換の実装を示す

Aitken 加速

数学 数値計算

2017-02-14 (Tue.)

数列の収束値を早く予測する

坪井 多様体 - ユークリッド空間上の多様体

数学 幾何学

2017-02-12 (Sun.)

第二章です

超準解析

数学

2017-02-12 (Sun.)

ノートです

有限群の表現

数学 線形代数

2016-12-27 (Tue.)

表現論です

ベクトル解析

数学 幾何学

2016-12-24 (Sat.)

陰関数、微分幾何学、微分形式

現代意味論入門の読書メモ

言語 意味論

2016-11-11 (Sun.)

現代意味論入門の読書メモです

坪井 多様体 - 目次

数学 幾何学

2017-02-04 (Sat.)

坪井さんの「多様体入門」を読みます

ベーシック圏論 - 圏・関手・自然変換

数学 圏論

2017-02-04 (Sat.)

第一章

ベーシック圏論 - 目次

数学 圏論

2017-02-04 (Sat.)

"ベーシック圏論" を読みます