[関数型言語・定理証明器] (8件)

• 2020年6月
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題 2020年06月22日 08:02:35
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その２ 気まぐれ天使問題 2020年06月22日 08:07:46
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その３ 悪戦苦闘編 2020年06月22日 08:10:47
• 2018年4月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その３ 修正とチェック 2018年04月13日 21:00:17
• 2016年1月
• ソフトウェア Tips The Proofs about Alpha-equivalences in Isabelle 2016年01月07日 14:20:18
• 2011年7月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その２ wait_and_lock 2011年07月01日 22:37:18
• 2011年6月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その１ 並列処理の総当り 2011年06月20日 02:54:31
• 2011年1月
• ソフトウェア Tips Haskell の callCC で goto を作る 2011年01月20日 19:37:45