内平 直志 | (株)東芝システム・ソフトウェア技術研究所
スポンサーリンク
概要
関連著者
-
内平 直志
(株)東芝システム・ソフトウェア技術研究所
-
内平 直志
(株)東芝
-
内平 直志
東芝研究開発センター
-
内平 直志
東芝 研開セ
-
平石 邦彦
北陸先端科学技術大学院大学
-
崔 舜星
北陸先端科学技術大学院大学
-
山口 真悟
山口大学大学院理工学研究科
-
鳥居 健太郎
東芝
-
鳥居 健太郎
(株)東芝研究開発センター
-
宮本 俊幸
大阪大学大学院工学研究科
-
山口 真悟
山口大学
-
宮本 俊幸
大阪大学大学院工学研究科電気電子情報工学専攻
-
葛 崎偉
山口大学教育学部
-
本位田 真一
国立情報学研究所
-
本位田 真一
(株)東芝研究開発センター
-
葛 崎偉
山口大学
-
宮本 俊幸
大阪大学 大学院工学研究科
-
内平 直志
(株)東芝研究開発センター
-
平石 邦彦
北陸先端科学技術大学院大学情報科学研究科
-
本位田 真一
東芝研究開発センター
-
葛 崎偉
広島大学工学部
-
鳥居 健太郎
(株)東芝 研究開発センター
-
平石 邦彦
北陸先端科学技術大学院大学 情報科学研究科
-
平林 裕治
清水建設株式会社
-
本位田 真一
東京大学
-
平林 裕治
清水建設
-
崔 舜星
北陸先端科学技術大学院大学情報科学研究科
-
鳥居 健太郎
(株)東芝 研究開発センター システム技術ラボラトリー
-
本位田 真一
国立情報学研究所graceセンター|東京大学
-
崔 舜星
石川職業能力開発短期大学校
-
杉原 太郎
北陸先端科学技術大学院大学
-
田中 俊明
(株)東芝研究開発センター
-
小林 孝一
北陸先端科学技術大学院大学
-
内平 直志
北陸先端科学技術大学院大
-
内平 直志
株式会社東芝研究開発センターシステムソフトウェア生産技術研究所
-
田中 俊明
(株)東芝
-
平林 裕治
清水建設株式会社技術研究所
-
田中 俊明
東芝
-
田中 俊明
東芝研究開発センター
-
知野 哲朗
(株)東芝研究開発センター
-
杉原 太郎
北陸先端科学技術大学院大学知識科学研究科
-
甚田 貴徳
北陸先端科学技術大学院大学情報科学研究科
-
青戸 渉
北陸先端科学技術大学院大学情報科学研究科
-
宮崎 晃和
北陸先端科学技術大学院大学情報科学研究科
-
知野 哲朗
(株)東芝関西研究所
-
内平 直志
株式会社東芝 研究開発センター
-
杉原 太郎
北陸先端科学技術大学院大学 知識科学研究科
-
松本 茂
(株)東芝
-
中本 政志
(株)東芝重電技術研究所
-
岡本 渉
株式会社東芝研究開発センター
-
山崎 達志
摂南大学工学部
-
中村 正樹
金沢大学理工学域電子情報学類
-
田村 文隆
株式会社東芝研究開発センター
-
中本 政志
東芝
-
川田 秀司
株式会社東芝ソフトウェア技術センター
-
山崎 達志
摂南大学理工学部
-
川田 秀司
株式会社東芝研究開発センター
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
中本 政志
(株)東芝
-
赤嶺 暁子
株式会社東芝 システム・ソフトウェア技術研究所
-
内平 直志
東芝システム・ソフトウェア技術研究所
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
杉原 太郎
北陸先端科学技術大学院大学 知識科学研究科
-
前野 隆司
慶應義塾大学
-
小木 哲朗
慶應義塾大学
-
前野 隆司
慶應義塾大学システムデザイン・マネジメント研究科
-
青山 幹雄
新潟工科大学情報電子工学科
-
脇園 竜次
(株)東芝重電技術研究所
-
半田 恵一
(株)東芝研究開発センター
-
立山 義祐
慶應義塾大学
-
武田 朗子
東京工業大学
-
本位田 真一
東京大学大学院情報理工学系研究科|国立情報学研究所
-
小林 孝一
北陸先端科学技術大学院大学情報科学研究科
-
青山 幹雄
新潟工科大学
-
平林 裕治
清水建設 技研
-
武田 朗子
東京工業大学 大学院情報理工学研究科
-
赤嶺 暁子
(株)東芝システム・ソフトウェア技術研究所
-
脇園 竜次
(株)東芝システム・ソフトウェア技術研究所
-
半田 恵一
(株)東芝
-
半田 恵一
(株)東芝 研究開発センター
-
鳥居 健太郎
株式会社東芝研究開発センター
-
田中 俊明
株式会社東芝研究開発センター
-
立山 義祐
慶應義塾大学システムデザイン・マネジメント研究科
-
小木 哲朗
慶應義塾大学システムデザイン・マネジメント研究科
-
澤島 光一
慶應義塾大学システムデザイン・マネジメント研究科
-
中村 正樹
富山県立大学工学部
-
鳥居 健太郎
株式会社東芝 研究開発センター
-
崔 舜星
北陸先端科学技術大学院大学CGEI
著作論文
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- ペトリネットは便利な道具
- 不確実な電力事業環境下における発電設備投資計画法
- 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
- 5ZC-6 並行プログラムに関するテスト・デバッグ方式
- 組込み制御用ソフトウェア次世代テスト・デバッグシステム
- 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
- 様相論理による並行プログラムの積重ね式検証法
- 通信制御ソフトウェアの時相論理による検証 : CCITT勧告X.25の検証
- 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
- Robin Milner 著, "Communication and Concurrency", Prentice Hall International Series in Computer Science, B5判, 260p., \3,790, 1989
- 89-3 ストリームのための自動プログラミングII : プログラム変換による実現法
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
- 看護・介護サービスのための時空間を越えたコラボレーション支援
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
- A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
- イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)