|
|
JAIST Repository >
著者: "二木, 厚吉"
7 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 15-Mar-2004 | 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 15-Sep-2004 | 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
| Sep-2007 | COE Research Monograph Series, Vol. 2 : 法令工学の提案 | 片山, 卓也; 島津, 明; 東条, 敏; 二木, 厚吉; 緒方, 和博; 有本, 泰仁; 落水, 浩一郎; 早坂, 良; 片山, 卓也 |
| 7-Sep-2007 | 法令対象ドメインの形式仕様と検証 | 二木, 厚吉; 緒方, 和博; 有本, 泰仁 |
| 10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
| 18-May-2016 | 証明スコア法に基づく革新的仕様検証システムの構築 | 二木, 厚吉; Kokichi, Futatsugi |
|
