緒方 和博 (OGATA, Kazuhiro)教授
情報科学系, 知能ロボティクス領域

Misc

25件
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 (システム数理と応用)
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 119, 470, 25-30, 2020
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述 (システム数理と応用)
東 周輝, 中村 正樹, 榊原 一紀, 緒方 和博
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 13-18, 2019
ソフトウェアサイエンス研究会(SS研)の紹介
緒方 和博
情報・システムソサイエティ誌, 21, 3, 8-9, 2016
構成子に基づく順序ソートパラメータ化仕様の十分完全性について (ソフトウェアサイエンス)
中村 正樹, ガイナ ダニエル ミルチェア, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 510, 1-6, 2015
AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
中村 正樹, 緒方 和博, 二木 厚吉
電子情報通信学会総合大会講演論文集, 2010, "S-27"-"S-28", 2010
代数仕様に基づく実時間システムの検証
緒方 和博
計測と制御 = Journal of the Society of Instrument and Control Engineers, 48, 11, 816-821, 2009
Maude:書換え論理に基づく計算機言語および処理系
緒方 和博, 中村 正樹, 二木 厚吉
コンピュータ ソフトウェア, 25, 2, 78-84, 2008
STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
原 光太朗, 緒方 和博, 中村 正樹, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 104, 570, 1-6, 2005
B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
/ 清野 貴博, 緒方 和博, 二木 厚吉, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 3, 1, 175-176, 2004
B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
原 光太朗, 緒方 和博, 中村 正樹, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 3, 1, 177-178, 2004
B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
中野 昌弘, 中村 正樹, 緒方 和博, 二木 厚吉
情報科学技術フォーラム一般講演論文集, 2002, 1, 91-92, 2002
代数仕様言語 CafeOBJ による実時間システムの仕様記述と検証の一例 : timed two-process race の仕様記述と検証
清野 貴博, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 100, 569, 9-16, 2001
項書換え抽象機械TRAMの設計と実装
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会論文誌. D-1, 情報・システム 1-情報処理, 83, 2, 255-263, 2000
検証を考慮した仕様記述の指針に関する研究
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告, 99, 426, 47-54, 1999
モジュールシステムの要求仕様と設計仕様
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98, 294, 7-14, 1998
モジュールシステムを備える書換え抽象機械の提案
五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98, 86, 1-8, 1998
超並列項書換えシステムの実装と評価
平田 寛道, 五百蔵 重典, 緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 97, 629, 9-16, 1998
項書換え抽象機械における組み込み演算の処理
石曽根 信, 澤田 寿実, 緒方 和博
全国大会講演論文集, 55, 0, 279-280, 1997
順序ソート項書換えの効率のよい実現に関する一考察
緒方 和博, 二木 厚吉
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 97, 260, 9-16, 1997
項書換えコンパイラに関する一考察
五百蔵 重典, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 39-40, 1995
項書換えシステムのための抽象機械の設計について
大原 幸一, 緒方 和博, 二木 厚吉
全国大会講演論文集, 51, 0, 41-42, 1995
MultithreadSmalltalkの実装について (オブジェクト指向計算<特集>)
緒方 和博, 土居 範久
南山経営研究, 8, 1, p3-9, 1993
プログラミング言語の設計と実現に関するACM SIGPLAN '92会議PLDI
緒方 和博
コンピュータ ソフトウェア, 10, 1, 1_72-1_76, 1993