インフラエンジニアです

quantum many-body systems こちらは更新しません. Zennの方を見てください.

ヨーガ歴31年のダルシム系エンジニア。昔々数学科では位相幾何を、大学院では情報幾何をやってました。（愛深きゆえにAIを捨てた男） 現在は関数型菩薩を目指して修行中の隠居系フリーランスです。😇

I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.