Java PathFinderにおける探索打ち切りポリシーを用いたヒューリスティック探索 von 前岡, 淳, 田辺, 良則, 石川, 冬樹

Volltext

モデル検査による設計検証 von 吉岡, 信和, 田辺, 良則, 田原, 康之, 長谷川, 哲夫, 磯部, 祥尚

Volltext

min-plus代数N∞上の様相μ計算 von 五十嵐, 大, 田辺, 良則, 西澤, 弘毅, 萩谷, 昌己

Volltext

一次元セルオートマトンの有限近似解析 von 高橋, 孝一, 田辺, 良則, 関澤, 俊弦

Volltext

Heuristic Search with Java PathFinder Using Cutoff Policy von MAEOKA, Jun, TANABE, Yoshinori, ISHIKAWA, Fuyuki

Volltext

BDDを用いた2方向CTL論理式充足可能性決定手続きの実装 von 田辺, 良則, 高橋, 孝一, 山本, 光晴, 佐藤, 貴洋, 萩谷, 昌己

Volltext

Modal μ-calculus on Min-plus Algebra N von IKARASHI, Dai, TANABE, Yoshinori, NISHIZAWA, Koki, HAGIYA, Masami

Volltext

一次元セルオートマトンの有限近似解析 von 高橋, 孝一, 田辺, 良則, 関澤, 俊弦

Volltext

時相論理による述語抽象化のための充足可能性判定手続き von 湯浅, 能史, 田辺, 良則, 関澤, 俊弦, 高橋, 孝一

Volltext

抽象化を用いた検証ツール von 田辺, 良則, 高井, 利憲, 高橋, 孝一

Volltext

BDDを用いたガード付きフラグメントの充足可能性判定 von 佐藤, 貴洋, 田辺, 良則, 萩谷, 昌己

Volltext

大会講評 von 田辺, 良則

Volltext

りんご産地の展開と加工問題(報告III,1981年度秋季農産物市場研究会報告,<特集>地域農業の市場問題-果実を中心に-) von 田辺, 良則

Volltext

北海道農政史研究会編, 『戦後北海道農政史』, 1976年, 農山漁村文化協会, A5版, 717頁 von 田辺, 良則

Volltext

Finite Approximation Analysis of One Dimensional Cellular Automata von Takahashi, Koichi, Tanabe, Yoshinori, Sekizawa, Toshifusa

Volltext

An Implementation of a Decision Procedure for Satisfiability of Two-way CTL Formulas Using BDD von TANABE, Yoshinori, TAKAHASHI, Koichi, YAMAMOTO, Mitsuharu, SATO, Takahiro, HAGIYA, Masami

Volltext

青森県八戸市西十日市部落 von 田辺, 良則

Volltext

水素イオン照射下における金属中の水素の拡散および透過 von 田辺, 哲朗, 斎藤, 直樹, 栄藤, 良則, 井本, 正介

Volltext

6. 早期照射による光増感物質PAD-S31の低用量化の検討 von 岡本芳晴, 田邊茂之, 柄武志, 南三郎, 中島進, 仲江良則, 坂田功

Volltext