Nakamura Masaki | School Of Electrical And Computer Engineering Kanazawa University
スポンサーリンク
概要
関連著者
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
中村 正樹
富山県立大学
-
浦島 智
富山県立大学
-
鳥山 朋二
富山県立大学
-
中村 正樹
富山県立大学工学部
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
北陸先端科学技術大学院大学
-
山口 真悟
山口大学
-
荷宮 敏弘
おおくまリハビリテーション病院
-
佃 哲夫
おおくまセントラル病院
-
宮前 潤一
富山県立大学
-
川端 重樹
おおくまリハビリテーション病院
-
牧野 光則
中央大学大学院理工学研究科
-
石浦 菜岐佐
関西学院大学理工学部
-
宇佐美 公良
芝浦工業大学
-
牧野 光則
中央大学理工学部情報工学科
-
平石 邦彦
北陸先端科学技術大学院大学 情報科学研究科
-
宇佐美 公良
芝浦工業大学工学部
-
Makino Mitsunori
Chuo Univ.
-
石浦 菜岐佐
関西学院大
-
牧野 光則
イリノイ大学シカゴ校
-
牧野 光則
中央大学
-
Makino Mitsunori
Chuo Univ. Tokyo Jpn
-
Makino Mitsunori
The Faculty Of Science And Engineering Chuo University
-
Makino M
Chuo Univ. Tokyo Jpn
-
野村 忠雄
富山県高志リハビリテーション病院リハビリテーション科
-
野村 忠雄
富山県高志リハビリテーション病院
-
宇佐美 公良
芝浦工業大学情報工学科
-
大島 淳一
富山県高志リハ病院研究開発部
-
平石 邦彦
北陸先端科学技術大学院大学情報科学研究科
-
宇佐美 公良
芝浦工業大学工学部情報工学科
-
宇佐美 公良
芝浦工業大学工学情報工学科
-
Makino Mitsunori
Department Of Information And System Engineering Faculty Of Science And Engineering Chuo University
-
Makino Mitsunori
Department Of Information And System Engineering Chuo University:department Of Electrical Electronic
-
山田 功
東京工業大学
-
平石 邦彦
北陸先端科学技術大学院大学
-
川端 重樹
おおくまセントラル病院
-
佐野 一成
おおくまセントラル病院
-
荷宮 敏弘
向山病院
-
中川 美都子
富山県高志リハビリテーション病院
-
大島 淳一
富山県高志リハビリテーション病院
-
大島 淳一
富山県高志リハ病院
-
NAKAMURA Masaki
School of Information Science, Japan Advanced Institute of Science and Technology
-
山口 真悟
山口大学大学院理工学研究科
-
内平 直志
東芝研究開発センター
-
内平 直志
(株)東芝
-
山崎 達志
摂南大学工学部
-
宮本 俊幸
大阪大学大学院工学研究科
-
内平 直志
(株)東芝システム・ソフトウェア技術研究所
-
山崎 達志
摂南大学理工学部
-
内平 直志
東芝 研開セ
-
Futatsugi Kokichi
School Of Information Science Jaist
-
佐野 一成
おおくまリハビリテーション病院
-
Ogata Kazuhiro
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
-
佃 哲夫
おおくまリハビリテーション病院
-
FUTATSUGI Kokichi
School of Information Science
-
宮本 俊幸
大阪大学大学院工学研究科電気電子情報工学専攻
-
宮本 俊幸
大阪大学 大学院工学研究科
-
NAKAMURA Masaki
Graduate School of Engineering, Osaka University
-
清野 貴博
独立行政法人産業技術総合研究所サービス工学研究センター
-
El-Nashar Alaa
Minia University
-
二木 厚吉
北陸先端大
-
Kusakari Keiichirou
School Of Information Science Jaist
-
Ogata Kazuhiro
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Ogata Kazuhiro
School Of Information Science Jaist
-
Ogata Kazuhiro
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
清野 貴博
独立行政法人産業技術総合研究所社会知能研究ラボ
-
Futatsugi Kokichi
Graduate School of Information Scinece, Japan Advanced Institute of Science and Technology
-
FUTATSUGI Kokichi
School of Information Science, JAIST
-
WATANABE Masahiro
Production Engineering Research Laboratory, Hitachi Ltd.
-
KONG Weiqiang
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
-
Toyama Yoshihito
School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku
-
Kong Weiqiang
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
清野 貴博
独立行政法人産業技術総合研究所 社会知能研究ラボ
-
Toyama Yoshihito
School Of Information Science Jaist
-
Futatsugi Kokichi
Jaist Nomi‐shi Jpn
-
Futatsugi Kokichi
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Seino Takahiro
Center For Service Research National Institute Of Advanced Industrial Science And Technology (aist)
-
Nakamura Masaki
Graduate School Of Engineering Osaka University
-
Futatsugi Kokichi
Graduate School Of Information Science Japan Advanced Institute Of Science And Technology
-
Watanabe Masahiro
Production Engineering Research Laboratory Hitachi Ltd.
-
城山 裕紀
富山県立大学
-
倉光 章
おおくまリハビリテーション病院
-
馬田 一郎
情報通信研究機構
-
浦島 智
富山県立大学工学部情報システム工学科
-
宮前 潤一
富山県立大学工学部情報システム工学科
-
中村 正樹
富山県立大学工学部情報システム工学科
-
鳥山 朋二
富山県立大学工学部情報システム工学科
著作論文
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- User-defined on-demand matching
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Argument filtering transformation
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- A Behavioral Specification of Imperative Programming Languages
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- Generating test cases for invariant properties from proof scores in the OTS/CafeOBJ method
- 在宅患者見守りのための周辺器具からの情報収集システムの構築 (ユビキタス・センサネットワーク)
- 在宅患者見守りのための周辺器具からの情報収集システムの構築 (アドホックネットワーク)
- 在宅患者見守りのための周辺器具からの情報収集システムの構築(行動認識,フレッシュマン・セッション,ユビキタス・センサネットワーク,ユビキタス・システム,アドホックネットワーク)
- B-19-17 臀部・足位置検出機能を持つ立ち上がり動作評価システムの試作(B-19.ユビキタス・センサネットワーク,一般セッション)
- B-19-16 在宅患者見守り支援システムの危険行動識別の基礎的評価(B-19.ユビキタス・センサネットワーク,一般セッション)
- K-042 在宅療養患者危険行動検知システムの開発(作業・理学療法のための福祉情報工学,K分野:教育工学・福祉工学・マルチメディア応用)
- 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究 (福祉情報工学)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 立ち上がり動作における支持基底面および重心可視化システム(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)
- 看護師向け指さし呼称確認システムの試作(リハビリ・看護,メディア・コミュニケーションの品質と福祉,及び一般)