Presentations

Menu

プログラミングシンポジウム65回 Agda でのAutomatonの記述
プログラミングシンポジウム64回 Agda でのZornの補題の証明
プログラミングシンポジウム62回 Agda 上での ガロア理論
HPVDI2020 at OIST テーゲーなストレージの話
プログラミングシンポジウム61回 Agda 上での ZF 集合論の構成
English version Agda 上での ZF 集合論の構成
Agda Meeting On our Agda experience in Category theory, Hoare logic, Automaton and System F
言語処理系勉強会 Vol.1 Agda による Automaton の実装
Open source conference 2016 Source code Reading の理想と現実
Proym 2014 Agda programming
Proym 2013 Alice distrobuted programming
hg vs git 2012
Open Source Conference Okinawa 2009 Cerium on PS3