内平 直志 | (株)東芝

スポンサーリンク

概要

• 同名の論文著者
• (株)東芝の論文著者

関連著者

• 内平 直志

  (株)東芝

• 内平 直志

  東芝 研開セ

• 内平 直志

  東芝研究開発センター

• 内平 直志

  (株)東芝システム・ソフトウェア技術研究所

• 平石 邦彦

  北陸先端科学技術大学院大学

• 内平 直志

  (株)東芝研究開発センター

• 崔 舜星

  北陸先端科学技術大学院大学

• 鳥居 健太郎

  (株)東芝 研究開発センター

• 山口 真悟

  山口大学大学院理工学研究科

• 平石 邦彦

  北陸先端科学技術大学院大学 情報科学研究科

• 鳥居 健太郎

  東芝

• 葛 崎偉

  山口大学教育学部

• 鳥居 健太郎

  (株)東芝研究開発センター

• 葛 崎偉

  山口大学

• 宮本 俊幸

  大阪大学大学院工学研究科

• 鳥居 健太郎

  (株)東芝 研究開発センター システム技術ラボラトリー

• 葛 崎偉

  広島大学工学部

• 山口 真悟

  山口大学

• 平林 裕治

  清水建設株式会社

• 宮本 俊幸

  大阪大学大学院工学研究科電気電子情報工学専攻

• 本位田 真一

  (株)東芝システム・ソフトウェア生産技術研究所

• 本位田 真一

  国立情報学研究所

• 本位田 真一

  (株)東芝研究開発センター

• 宮本 俊幸

  大阪大学 大学院工学研究科

• 平石 邦彦

  北陸先端科学技術大学院大学情報科学研究科

• 本位田 真一

  東芝研究開発センター

• 杉原 太郎

  北陸先端科学技術大学院大学

• 崔 舜星

  北陸先端科学技術大学院大学情報科学研究科

• 田中 俊明

  (株)東芝

• 平林 裕治

  清水建設株式会社技術研究所

• 杉原 太郎

  北陸先端科学技術大学院大学知識科学研究科

• 本位田 真一

  東京大学

• 平林 裕治

  清水建設

• 川田 秀司

  株式会社東芝ソフトウェア技術センター

• 川田 秀司

  株式会社東芝研究開発センター

• 本位田 真一

  国立情報学研究所graceセンター|東京大学

• 崔 舜星

  石川職業能力開発短期大学校

• 田中 俊明

  (株)東芝研究開発センター

• 小林 孝一

  北陸先端科学技術大学院大学

• 内平 直志

  北陸先端科学技術大学院大

• 田中 俊明

  東芝

• 田中 俊明

  東芝研究開発センター

• 知野 哲朗

  (株)東芝研究開発センター

• 杉原 太郎

  北陸先端科学技術大学院大学　知識科学研究科

• 甚田 貴徳

  北陸先端科学技術大学院大学情報科学研究科

• 青戸 渉

  北陸先端科学技術大学院大学情報科学研究科

• 宮崎 晃和

  北陸先端科学技術大学院大学情報科学研究科

• 知野 哲朗

  (株)東芝関西研究所

• 内平 直志

  株式会社東芝研究開発センターシステムソフトウェア生産技術研究所

• 内平 直志

  株式会社東芝 研究開発センター

• 杉原 太郎

  北陸先端科学技術大学院大学 知識科学研究科

• 松本 茂

  (株)東芝

• 中本 政志

  (株)東芝重電技術研究所

• 岡本 渉

  株式会社東芝研究開発センター

• 山崎 達志

  摂南大学工学部

• 中村 正樹

  金沢大学理工学域電子情報学類

• 大須賀 昭彦

  (株)東芝

• 内平 直志

  (株)東芝 研究開発センター システム技術ラボラトリー

• 西村 一彦

  (株)東芝

• 松本 一教

  (株)東芝システム・ソフトウェア技術研究所

• 西村 一彦

  (株)東芝システム・ソフトウェア技術研究所

• 西村 一彦

  東芝 研開セ

• 田村 文隆

  株式会社東芝研究開発センター

• 中本 政志

  東芝

• 青山 幹雄

  新潟工科大学

• 山崎 達志

  摂南大学理工学部

• 中村 正樹

  北陸先端科学技術大学院大学情報科学研究科

• 中本 政志

  (株)東芝

• 川田 秀司

  (株)東芝研究開発センターS&S研究所

• 中村 正樹

  金沢大学 理工学域 電子情報学類

• 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.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
• TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
• 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
• 仕様記述過程モデル化のための実験と分析
• 時相論理とその応用 (<特集>非標準論理とその応用)
• 時制論理に基づく仕様記述とそのデバッグ環境
• ペトリネットは便利な道具
• 不確実な電力事業環境下における発電設備投資計画法
• 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
• 5ZC-6 並行プログラムに関するテスト・デバッグ方式
• 組込み制御用ソフトウェア次世代テスト・デバッグシステム
• 高水準ペトリネットによるソフトウェア開発方法論
• 製造業のサービス事業化の課題と設計支援技術
• 時制論理とペトリネット(AIの推論とOR)
• AP-4-3 コンカレント技術ロードマッピングへの招待(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
• ネット指向戦略シナリオ・プランニング手法の提案
• 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
• 製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント
• 製造業のサービスイノベーションのための知識処理技術(サービスイノベーションとAI)
• コンカレント工学における技術ロードマッピングに関する考察(コンカレントシステム, 一般)
• 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
• 離散事象システムの網羅的シミュレーション
• シ-ケンス制御プログラムの検証技術
• 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
• 様相論理による並行プログラムの積重ね式検証法
• 大規模有向グラフの効率的記憶法 : アニーリング法を利用したラベル付け
• CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
• コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
• 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
• 推論型システム記述言語 MENDEL
• 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
• 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について (システム数理と応用)
• 看護・介護サービスのための時空間を越えたコラボレーション支援
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて
• A-12-13 節電と経済活性化を両立させるサービス設計(A-12.システム数理と応用,一般セッション)
• 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
• 音声つぶやきによる看護・介護の時空間コラボレーション支援 : システムの概要と試行評価結果
• イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
• イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
• イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)
• イベントログに基づいた行動型サービスの分析(システムと信号処理及び一般)

もっと見る 閉じる

スポンサーリンク