TANIGUCHI,Kazushige

目次

• ssh tips!!
• git tips!!
• Coqで公理的集合論
• coq/ssreflect/mathcomp/analysis
• 数理統計学ノート
• 機械学習メモ
• Julia Tips
• Zynq/FPGA
• Pluto SRD