辻 尚史 | 千葉大学理学部数学・情報数理学科
スポンサーリンク
概要
関連著者
-
辻 尚史
千葉大学理学部数学・情報数理学科
-
辻 尚史
筑波大学電子・情報工学系
-
五十嵐 滋
筑波大学電子・情報工学系
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
五十嵐 滋
常磐大学
-
白銀 哲也
筑波大学工学研究科
-
細野 千春
筑波大学電子・情報工学系
-
辻 尚史
千葉大学理学部
-
小谷 善行
東京農工大学共生科学技術研究院先端情報科学部門
-
五十嵐 滋
筑波大学 電子・情報工学系
-
佐々木 裕
The University Of Manchester
-
富田 康治
工業技術院機械技術研究所
-
池田 靖雄
埼玉短期大学
-
水谷 哲也
筑波大学 電子・情報工学系
-
塩 雅之
常磐大学
-
水谷 哲也
筑波大学電子・情報工学系
-
塩 雅之
筑波大学 工学研究科
-
辻 尚史
筑波大学 電子・情報工学系
-
白銀 哲也
筑波大学 工学研究科
-
水谷 哲也
埼玉短期大学情報処理学科
-
小谷 善行
東京農工大
-
桜井 貴文
千葉大学
-
佐々木 裕
Ntt情報通信網研究所
-
清野 桂子
筑波大学電子・情報工学系
-
佐々木 裕
筑波大学理工学研究科
-
桜井 貴文
千葉大学理学部
-
大川 貴之
千葉大学自然科学研究科
-
清野 桂子
筑波大学電子情報工学系
-
池田 靖雄
埼玉短期大学 情報メディア学科
著作論文
- プログラムにおける実時間問題のν-転換による解析と動作条件
- 時間の論理の束モデルを用いた並行プログラム系の検証
- ランデブーを含むvirtual textによる自動伴奏システムの表現とその検証
- 軌跡準同型によるプログラムの仕様の保存性
- プログラム言語BQLとその処理系
- フレーズの表情付けの図形的表現 : ピアノ演奏の場合
- ブリッジプレイの終盤における必勝戦術の論理的考察
- 多人数ゲームにおける枝刈りと四人将棋への応用
- プログラムの自動検証