users41semicolon低燃費FIRE。論理・計算関連のトピックに興味があります。JavaScript,Python,F#,Coqをよく使います。http://yusugomori.combouzuyaぼく、ぼうずや。なさけはひとのためならず。興味があるプログラマmzpCoqなどによるプログラムの正しさの検証・証明に興味があります。master_qコピペプログラマtoshiwoyoshukikyannybuzztaikios0xmyuheemaxserプログラミング初めたいsugyanすぎゃーんSaitoAtsushinaoya@githubshishiプログラマー。