Think Stitch
  最近の更新

最近の更新

2017/07/01 Report on the SSG Refinement Checker
2017/07/01 プログラムの正当性検査ツール SSG の詳細
2016/12/08 Scheme で並行プログラミング言語を実装するもう1つの冴えたやりかた
2016/12/03 Formal Proof of the Congruence Theorem between Operational Semantics and Denotational Semantics on Traces of CSP in Isabelle/HOL
2016/12/01 非決定性と状態爆発に対処するシナリオ検査
2016/10/27 並行システムの理論 CSP の紹介資料
2016/07/23 操作的意味論と帰納的定義
2016/07/23 MUパズル
2015/12/05 非決定的計算オペレータ amb の並列化
2015/11/22 A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking
2015/09/23 並行プログラミングのための Scheme 拡張と並行ウィンドウシステム
2015/09/23 条件変数の図解
2015/06/17 CSP Reference
2015/06/07 Libraries for Concurrent Pragramming in C based on CSP
2015/03/30 Lisp to C Translator
2015/03/24LispKit Lisp 4 - Read-Compile-Execute-and-Print, without Loop
2015/03/23LispKit Lisp 3 - ポインタ逆転アルゴリズム
2015/03/22LispKit Lisp 2 - SECD 機械 in C
2015/03/22LispKit Lisp
2015/03/226502 minimum
2015/03/22MC6809 minimum
2015/03/22Z80 minimum
2015/02/07 TRS-80 Model I (Tandy, 1977)
2015/01/31 有界な自然数からなるリストの自然数へのエンコーディング 3
2015/01/30 有界な自然数からなるリストの自然数へのエンコーディング 2
2015/01/27 Isabelle:二重帰納法の処方と二項係数の性質証明例
2015/01/24 ベーシックマスター レベル2II MB-6881 (日立, 1980)
2015/01/24 有界な自然数からなるリストの自然数へのエンコーディング
2014/12/16 Isabelle によるグラフ循環検出プログラムの部分正当性証明
2014/11/30 Parallel and on-the-fly CSP Refinement Checking
2014/08/02 代入の合成
2014/06/14 並行プログラミング言語 8:逐次合成 2
2014/05/10 並行プログラミング言語 7:逐次合成
2014/04/19 並行プログラミング言語 6:隠蔽 2
2014/04/12 並行プログラミング言語 5:隠蔽
2014/04/05 並行プログラミング言語 4:改名
2014/03/29 並行システムの検証と実装 第1章 1.3 並行システムの検証例/実装例 SRconc
2014/03/22 最弱事前条件による命令の定義域の表現
2014/03/15 非決定的計算と並行計算
2014/03/08 代数的データ型のインスタンス生成
2014/03/01 双対性
2014/02/09 非同期通信で同期型通信を実現する
2014/02/09 Macintosh Plus (Apple, 1986)
2014/02/01 ループ不変条件を"解いて"求める
2014/01/25 循環に対応した equal?
2014/01/18 並行プログラミング言語 3:ガード
2014/01/11 並行プログラミング言語 2:チャネル通信とプロセスパラメータ
2014/01/05 アルファベット指定による並行合成の failures
2013/12/18 Isabelle チュートリアルからモデル検査アルゴリズムの正当性検証の紹介
2013/12/17 Isabelle による双模倣性の最大不動点による定義との同値性とトレース同値含意の証明
2013/12/16 Isabelle による並行プログラミング言語の操作的意味論と表示的意味論の同値性証明
2013/12/14 Metaobject Protocol への階段
2013/12/12 Isabelle によるグラフの循環検出アルゴリズムの部分正当性証明
2013/12/11 Isabelle によるヒープソート siftup の部分正当性証明
2013/12/10 並び替えの条件を表す2つの方法
2013/12/09 関数呼び出しを含むプログラムの正当性証明
2013/12/08 マクロとクロージャで作る並行プログラミング言語
2013/12/04 Isabelle によるグラフの探索アルゴリズムの部分正当性証明
2013/11/29 TK-80E (NEC, 1977)
2013/11/28 インターフェイス指定による並行合成の failures
2013/11/23 Scheme で CSP の表示的意味を計算する 〜 安定失敗編
2013/11/17 Scheme で CSP の表示的意味を計算する 〜 トレース編
2013/11/09 Scheme 関数7個で作る証明チェッカー
2013/11/02 Scheme でかんたんモデル検査器
2013/10/27 MZ-80B (SHARP, 1981)
2013/10/25 x86 でリンクコール
2013/10/19 プロセス CHAOSA によるプロセスの抽象化
2013/10/12 プロセス CHAOSA
2013/10/05 プロセス RUNA によるプロセスの抽象化
2013/09/29 MZ-80K2 (SHARP, 1980)
2013/09/28 プロセス RUNA
2013/09/23 Undo/Redo の話
2013/09/22 MZ-2000 (SHARP, 1982)
2013/09/20 ロックフリーアルゴリズム:キュー 2
2013/09/20 追記: ロックフリーアルゴリズム:キューへの追加
2013/09/18 累積変数
2013/09/18 継続渡しスタイル CPS による CSP カーネル
2013/09/17 継続渡し(Continuation Passing Style, CPS)による順列の計算
2013/09/16 遷移の曲線:スプライン曲線と楕円の話
2013/09/15 MZ-80C (SHARP, 1979)
2013/09/13 ロックフリーアルゴリズム:キューへの追加
2013/09/12 公平なミューテックス(スタベーション問題) 2
2013/09/12 SICP
2013/09/12 活性(liveness)の検査
2013/09/11 不公平なセマフォで作る公平なミューテックス 2
2013/09/10 不公平なセマフォで作る公平なミューテックス 1
2013/09/09 MZ-80K (SHARP, 1978)
2013/09/09 アクセスランキング 2013/09/08
2013/09/08 イベントオブジェクトによる一括引取り可能なリングバッファ
2013/09/08 ローカル手続き呼び出し(Local Procedure Call, LPC)
2013/09/07 自動リセットイベントオブジェクト
2013/09/07 条件変数のモデル - pthread_cond_wait はなぜミューテックスを引数にとるのか?
2013/09/06 公平なミューテックス(スタベーション問題)
2013/09/05 システムコールのモデル
2013/09/04 セマフォによるバリア(ランデブ)
2013/09/03 プロセスの比較 2: 拒否
2013/09/03 プロセスの比較 1: トレース
2013/09/03 関数呼び出しによる相互作用について
2013/09/02 多変数のループ不変条件
2013/09/02 事後条件の積項からループ不変条件を求める
2013/09/02 円の描画、解析編追記
2013/09/01 生産者・消費者問題(Producers-Consumers problem)
2013/09/01 円の描画
2013/08/31 切り捨て関数と切り上げ関数
2013/08/31 限量子のはなし
2013/08/30 追記:不思議な計算ループ - 解答編
2013/08/29 不思議な計算ループ - 解答編
2013/08/29 リングバッファ
2013/08/28 不思議な計算ループ
2013/08/26 アルファベット指定による並行合成
2013/08/24 インターリーブによる多対1通信
2013/08/21 ループには再帰が隠れてる?
2013/08/21 2分探索
2013/08/20 インターリーブによるサービスの共有
2013/08/18 制約プロセス: 並行合成で制約条件を表す
2013/08/16 電子回路シミュレータ LTspice IV
2013/08/16 改名による抽象化
2013/08/14 コンポーネントの交換と正当性
2013/08/12 ループ不変条件
2013/08/11 スケジューラ
2013/08/11 パラメータによるプロセスの再利用
2013/08/10 追記:Hoare 論理と Isabelle による正当性の証明
2013/08/09 改名によるプロセスの再利用
2013/08/08 Hoare 論理と Isabelle による正当性の証明
2013/08/08 計算プログラムの正当性
2013/08/07 相互作用と計算の分離
2013/08/06 イベントとチャネルの改名
2013/08/05 設計は試行錯誤
2013/08/04 SyncStitch のウィンドウシステム
2013/08/03 プロセスの動的生成 3
2013/08/03 プロセスの動的生成 2
2013/08/03 プロセスの動的生成 1
2013/08/02 メモプロセス
2013/07/31 逐次合成の利用2例
2013/07/29 プロセスの逐次合成
© 2013,2014,2015,2016 PRINCIPIA Limited