slides for seminar

# HG changeset patch # User atton # Date 1484046246 -32400 # Node ID 051d78fb003c30a4abf1d2ed0d58808f28ee0864 # Parent 98bc3495e99bec39205cea7d519a4b1806eebed9 auto-Update generated slides by script diff -r 98bc3495e99b -r 051d78fb003c index.html --- a/index.html Tue Jan 10 18:08:11 2017 +0900 +++ b/index.html Tue Jan 10 20:04:06 2017 +0900 @@ -1,110 +0,0 @@ - - - - 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

- - - diff -r 98bc3495e99b -r 051d78fb003c slides/20161220/.slide.md.swp Binary file slides/20161220/.slide.md.swp has changed diff -r 98bc3495e99b -r 051d78fb003c slides/20170110/.slide.md.swp Binary file slides/20170110/.slide.md.swp has changed