服部 哲 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
服部 哲
北陸先端科学技術大学院大学情報科学研究科
-
服部 哲
神奈川工科大学情報学部
-
横井 茂樹
名古屋大学大学院・情報科学研究科
-
安田 孝美
名古屋大学大学院情報科学研究科
-
横井 茂樹
三重大学 工
-
横井 茂樹
名古屋大学 工学部情報工学科
-
安田 孝美
名古屋大学
-
横井 茂樹
名古屋大学大学院
-
横井 茂樹
名古屋大学
-
安田 孝美
名古屋大学大学院 情報科学研究科 社会システム情報学専攻
-
服部 哲
神奈川工科大学情報学部情報メディア学科
-
服部 哲
神奈川工科大学
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
服部 哲
北陸先端科学技術大学院大
-
後藤 昌人
金城学院大学現代文化学部
-
服部 哲
北陸先端科学技術大学院大学 情報科学研究科
-
後藤 昌人
金城学院大学国際情報学部
-
後藤 昌人
名古屋大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
落水 浩一郎
北陸先端科学技術大学院大学
-
谷口 健一
大阪大学大学院情報科学研究科
-
服部 哲
名古屋大学大学院人間情報学研究科
-
呉 寧
名古屋大学大学院人間情報学研究科
-
東野 輝夫
大阪大学大学院情報学研究科
-
松本 早野香
明治大学理工学部
-
岡野 浩三
大阪大学大学院情報科学研究科
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
落水 浩一郎
北陸先端大
-
服部 哲
大阪大学基礎工学部情報工学科
-
安田 孝美
名古屋大学大学院
-
服部 哲
大阪大学大学院基礎工学研究科情報数理系専攻
-
松本 早野香
名古屋大学大学院人間情報学研究科
-
荒木 啓二郎
北陸先端科学技術大学院大学情報科学研究科
-
山本 亮
大阪大学大学院基礎工学研究科情報数理系専攻
-
近藤 真由
名古屋大学大学院情報科学研究科
-
近藤 真由
名古屋大学大学院 情報科学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
横井 茂樹
名大
-
東野 輝夫
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
牛尾 遼平
北陸先端科学技術大学院大学情報科学研究科
-
服部 哲
情報工学科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
松石 航也
大阪大学基礎工学部情報工学科
-
服部 哲
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
岡野 浩三
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
館 宜伸
北陸先端科学技術大学院大学 情報科学研究科
-
松石 航也
大阪大学基礎工学部情報工学科:(現)富士通株式会社
-
東野 輝夫[他]
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
東野 輝夫[他]
大阪大学基礎工学部情報工学科
著作論文
- データ付時間オートマトンの双模倣等価性の記号的検証法
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- 地域ポータルサイトにおけるCMSの実践的活用と今後の課題(若手の会口頭発表(1))
- 地図サービスとCMSの連携による安全情報共有システム(セッション3:地域と安全)
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- CMSの活用による地域住民間での危機管理情報の収集・共有システムに関する提案(セッション5 : コミュニティおよびコミュニケーション技術)
- 複数時間オートマトンによる仕様記述と検証
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides
- 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム)
- 地域住民向け地図ベースの防災情報集積・共有システムの開発と評価
- 街のバリアフリー情報共有マップシステムのフィールド実験
- カードイメージによる街の情報共有マップの防災分野への応用に関する検討(セッション3 : 情報共有・流通システム)
- カードイメージによる街のバリアフリー情報共有マップシステムのフィールド実験と評価(情報共有,コミュニティ)
- 街のバリアフリー情報共有マップシステム構築に関する研究
- ディレクトリサービスを利用した都市情報の分散型データベース構築に関する検討(:インターネット応用システムの構築と運用管理)
- 都市データの分散データベース構築に関する検討
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析(コンカレントシステム,一般)
- オープンソース数式処理システムによる確率ペトリネットの定常状態解析
- 確率ペトリネットによる組織パターンの検証(ソフトウェア工学の基礎)
- 定理証明技法を用いたユースケースの追加支援システムの研究(学生セッション I_要求獲得・分析)
- 都市データの分散データベース構築に関する検討
- ソフトウェアプロセスの時間オートマトンおよび時間モジュールによる記述法の比較