Personal Information
Entreprise/Lieu de travail
Japan Japan
Profession
九州大学 Kyushu University - Professor
Site Web
researchmap.jp/yoshihiro/
Mots-clés
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
Tout plus
Présentations
(29)J’aime
(4)数式処理ソフトMathematicaで数学の問題を解く
Yoshihiro Mizoguchi
•
il y a 7 ans
深層学習の非常に簡単な説明
Seiichi Uchida
•
il y a 7 ans
人工知能が持つ構造とプログラミング原理について
Youichiro Miyake
•
il y a 7 ans
Bitcoin 2
Kindai University
•
il y a 10 ans
Personal Information
Entreprise/Lieu de travail
Japan Japan
Profession
九州大学 Kyushu University - Professor
Site Web
researchmap.jp/yoshihiro/
Mots-clés
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
Tout plus