Yoshihiro Mizoguchi

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 ５色定理 アルゴリズム データ構造 数学教育 ４色定理 圏論 モナド graph laplacian 多次元尺度構成法 主成分分析 mds pca cellular automata