Yoshihiro Mizoguchi
52
Followers
Personal Information
Unternehmen/Arbeitsplatz
Japan Japan
Beruf
九州大学 Kyushu University - Professor
Webseite
researchmap.jp/yoshihiro/
Tags
coq
mathematics
homebrew
category theory
relation algebra
docker
mathcomp
日本語
latex
verification
formalization
ssreflect
computer science
pukiwiki
php
web
proofgeneral
matplotlib
pandas
python
anaconda
yatex
mactex
haskell
emacs
overleaf
mnist
keras
deep learning
amazon web services
lualatex
sharelatex
conformal geometric algebra
origami
symbolic computations
ralational structure
mathematics education
mathematica
analytical mechanics
wang tiling
graph theory
five color theorem
education
programming
programming language
progmraing
proofassistant
数式処理学会
relational calculus
関係計算
apache
hompage
mavericks
macbook
lorenz attractor
computable number
rotation matrix
quaternion
complex number
5色定理
アルゴリズム
データ構造
数学教育
4色定理
圏論
モナド
graph laplacian
多次元尺度構成法
主成分分析
mds
pca
cellular automata
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken