Jump to main content

yr 〜
yr

Search results 92

Satisfiability judgment of modal logics and their application to verification problems

Satisfiability judgment of modal logics and their application to verification problems
Paper博士論文
Yoshinori Tanabe [著][Yoshinori Tanabe][2008]<UT51-2008-S564>
National Diet Library

ソフトウェアモデル検査における活性検証

ソフトウェアモデル検査における活性検証
Digital文書・図像類
田辺, 良則2019-03-31
Other Libraries in Japan

定理証明器によるモジュラーなソフトウェア検証

定理証明器によるモジュラーなソフトウェア検証
Digital文書・図像類
田辺, 良則2016-03-31
Other Libraries in Japan

CoqからScalaへのコード抽出とその妥当性

CoqからScalaへのコード抽出とその妥当性
Digital文書・図像類
田辺, 良則九州大学マス・フォア・インダストリ研究所2015-03-06MI lecture note series61p.81-87
Available onlineOther Libraries in Japan

津軽に生きて : 田辺良則遺稿集

津軽に生きて : 田辺良則遺稿集
Paper図書
田辺良則著田辺良則先生を語り偲ぶ会2010.5
Other Libraries in Japan
  • Note (General)肖像あり 田辺良則先生の略歴と主な業績: p.175-178

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）
Digital文書・図像類
湯浅, 能史, 武山, 誠, 関澤, 俊弦, 田辺, 良則, 高橋, 孝一2006-11-30p.1-23
Other Libraries in Japan

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)
Paper図書
高橋孝一, 田辺良則, 関澤俊弦 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.8<Y251-H917>
National Diet Library

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
Paper図書
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.9<Y251-H928>
National Diet Library

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)

抽象化を用いた検証ツールの調査 (産業技術総合研究所算譜科学グループ研究速報)
Paper図書
産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ 編, 田辺良則, 高井利憲, 高橋孝一 [著]産業技術総合研究所関西センター尼崎事業所システム検証研究ラボ2003.12<Y251-H242>
National Diet Library

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan
  • Contents...弘宜 ほか 著 古賀陽一郎, 田辺良則 著 青木善貴, 小形真平, ...... 著 高鶴哲也, 今井宜洋, 田辺良則 著 阿萬裕久 著 市井誠, ......将司, 柿元健 著 前岡淳, 田辺良則, 石川冬樹 著 木塚あゆみ, 安井重哉, 岡本誠 ほか 著...

農業経済学概論 第8版

農業経済学概論 第8版
Paper図書
崎浦誠治,田辺良則共編養賢堂1993.3
Other Libraries in Japan

蒼空に梢つらねて : イールズ闘争60周年・安保闘争50周年の年に北大の自由・自治の歴史を考える

蒼空に梢つらねて : イールズ闘争60周年・安保闘争50周年の年に北大の自由・自治の歴史を考える
Paper図書
「北大5.16集会報告集」編集委員会 編柏艪舎2011.2<FD37-J150>
National Diet LibraryOther Libraries in Japan
  • Contents...闘争の今日的意義 大藤修 著 田辺良則先生を追悼して 田辺先生ご遺稿 北大アルバイト事件 田辺良則 著

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2010.2<M159-J922>
National Diet Library
  • Contents...ava pathfinder 田辺良則, チャンヴィンクォン, 萩谷昌己 著 リアクティブシステム...

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.12<M159-J554>
National Diet Library
  • Contents...証手法の並行ごみ集めへの応用 田辺良則, 高橋孝一 著 多重文脈自由文法の自動検証への応用について...

農業経済学概論

農業経済学概論
Paper図書
崎浦　誠治／共編, 田辺　良則／共編養賢堂１９８９
Other Libraries in Japan
  • Author Heading崎浦‖誠治 田辺‖良則

鶴見大学紀要 第4部 人文・社会・自然科学編

鶴見大学紀要 第4部 人文・社会・自然科学編
Paper雑誌雑誌タイトル
鶴見大学1989-<Z22-1161>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

農業経済学概論

農業経済学概論
Paper図書
崎浦誠治 ; 田辺良則 共編養賢堂１９８５
Other Libraries in Japan

農業経済学概論

農業経済学概論
PaperDigital図書障害者向け資料あり
崎浦誠治, 田辺良則 共編養賢堂1978.11<DM1-95>
National Diet LibraryOther Libraries in Japan

商業的農業の展開構造 : 馬鈴薯澱粉の生産と流通の構造と農業

商業的農業の展開構造 : 馬鈴薯澱粉の生産と流通の構造と農業
Paper博士論文
田辺良則 [著]<UT51-55-M2175>
National Diet Library

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
Paper図書
近代科学社2012.12<M159-L20>
National Diet LibraryOther Libraries in Japan
  • Contents...二, 井上克郎 著 前岡淳, 田辺良則 著 前田芳晴, 佐々木裕介, 松尾昭彦, 木村茂樹, 殿岡...
RSS