slides for seminar

20140204 : 近況報告
20140211 : 証明によるソフトウェア信頼性の向上(仮)
20140218 : 証明によるプログラムの信頼性の向上(仮)
20140225 : 証明によるプログラムの信頼性の向上(仮)
20140304 : 証明によるプログラムの信頼性の向上(仮)
20140311 : プログラムから証明の自動生成(仮)
20140325 : プログラムから証明の自動生成(仮)
20140401 : プログラムの静的解析による条件導出(仮)
20140408 : プログラムのデバッグ支援(仮)
20140415 : プログラムのデバッグ支援(仮)
20140422 : プログラムのデバッグ支援(仮)
20140429 : プログラムのデバッグ支援(仮)
20140506 : プログラムのデバッグ支援(仮)
20140513 : プログラムのデバッグ支援(仮)
20140520 : Agda 入門
20140611 : プログラムのデバッグ支援(仮)
20140617 : プログラムのデバッグ支援(仮)
20140624 : プログラムのデバッグ支援(仮)
20140701 : プログラムのデバッグ支援(仮)
20140715 : プログラムのデバッグ支援(仮)
20140722 : プログラムのデバッグ支援(仮)
20140805 : プログラムのデバッグ支援(仮)
20140812 : プログラムのデバッグ支援(仮)
20140819 : プログラムのデバッグ支援(仮)
20140826 : プログラムのデバッグ支援(仮)
20140902 : プログラムのデバッグ支援(仮)
20140909 : プログラムのデバッグ支援
20140923 : プログラムのデバッグ支援
20141007 : プログラムのデバッグ支援
20141021 : モナドによるプログラムの拡張
20141028 : モナドによるプログラムの変更
20141104 : モナドによるプログラムの変更
20141111 : Modify Program by Monad
20141118 : Categorical Semantics of Program Modification
20141125 : Categorical Semantics for Program Modification
20141128 : Categorical Semantics for Program Modification
20141202 : Categorical Formalization for Program Modification
20141205 : Categorical Formalization for Program Modification
20141209 : Categorical Formalization of Program Modification
20141212 : Categorical Formalization of Program Modification
20141216 : Categorical Formalization of Program Modification
20141219 : Categorical Formalization of Program Modification
20150115 : Categorical Formalization of Program Modification
20150120 : Categorical Formalization of Program Modification
20150127 : Categorical Formalization of Program Modification
20150129 : Categorical Formalization of Program Modification
20150203 : Categorical Formalization of Program Modification
20150317 : Categorical Formalization of Program Modification
20150320 : Categorical Formalization of Program Modification
20150324 : Categorical Formalization of Program Modification
20150407 : Categorical Formalization of Program Modification
20150414 : Operational Semantics of Continuation based C
20150421 : Verification of programs using Code Segments Data Segments
20150519 : Verification of programs using Code Segments and Data Segments
20150616 : Verification of programs using Code Segments and Data Segments
20150714 : Report of LOLA + LICS/ICALP
20150721 : Verification of programs using Code Segments and Data Segments
20150804 : Verification of programs using Code Segments and Data Segments
20150811 : Verification of programs using Code Segments and Data Segments
20150915 : 次期システムWebコンソール akatsuki
20151020 : 次期システムWebコンソール akatsuki
20151027 : 次期システムWebコンソール akatsuki
20151110 : ie-virsh の構築報告
20151124 : OS の課題用環境の構築
20151127 : OS の課題用環境の構築
20151208 : OS の課題用環境の構築
20151215 : Verification of programs using Code Segments and Data Segments
20151222 : Verification of programs using Code Segments and Data Segments
20160112 : Verification of programs using Code Segments and Data Segments
20160119 : Verification of programs using Code Segments and Data Segments
20160126 : Verification of programs using Code Segments and Data Segments
20160129 : Verification of programs using Code Segments and Data Segments
20160202 : Verification of programs using Code Segments and Data Segments
20160216 : Verification of programs using Code Segments and Data Segments
20160301 : Verification of programs using Code Segments and Data Segments
20160308 : Verification of programs using Code Segments and Data Segments
20160315 : Verification of programs using Continuation based C
20160322 : Verification of programs using Continuation based C
20160329 : Verification of programs using Continuation based C
20160412 : Verification of programs using Continuation based C
20160419 : Verification of programs using Continuation based C
20160426 : Verification of programs using Continuation based C
20160503 : Verification of programs using Continuation based C
20160510 : Verification of programs using Continuation based C
20160524 : Verification of programs using Continuation based C
20160607 : Verification of programs using Continuation based C
20160614 : Verification of programs using Continuation based C
20160621 : Verification of programs using Continuation based C
20160628 : Verification method of programs using Continuation based C
20160705 : Verification method of programs using Continuation based C
20160712 : Verification method of programs using Continuation based C
20160726 : Verification method of programs using Continuation based C
20160802 : Verification method of programs using Continuation based C
20161101 : Type System of Continuation based C
20161122 : Verification method of programs using Continuation based C
20161213 : Verification method of programs using Continuation based C
20161220 : Type System of Continuation based C
20170110 : Type System of Continuation based C
20170117 : メタ計算を用いた Continuation based C の検証手法