内平 直志 | 東芝 研開セ

スポンサーリンク

概要

• 同名の論文著者
• 東芝 研開セの論文著者

関連著者

• 内平 直志

  東芝 研開セ

• 内平 直志

  (株)東芝

• 内平 直志

  東芝研究開発センター

• 内平 直志

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

• 山口 真悟

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

• 内平 直志

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

• 宮本 俊幸

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

• 本位田 真一

  東芝研究開発センター

• 山口 真悟

  山口大学

• 平石 邦彦

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

• 宮本 俊幸

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

• 葛 崎偉

  山口大学教育学部

• 本位田 真一

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

• 本位田 真一

  国立情報学研究所

• 本位田 真一

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

• 葛 崎偉

  山口大学

• 平石 邦彦

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

• 宮本 俊幸

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

• 川田 秀司

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

• 川田 秀司

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

• 葛 崎偉

  広島大学工学部

• 鳥居 健太郎

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

• 平石 邦彦

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

• 鳥居 健太郎

  東芝

• 本位田 真一

  東京大学

• 崔 舜星

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

• 内平 直志

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

• 鳥居 健太郎

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

• 本位田 真一

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

• 崔 舜星

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

• 崔 舜星

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

• 鳥居 健太郎

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

• 田中 俊明

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

• 田中 俊明

  (株)東芝

• 平林 裕治

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

• 田中 俊明

  東芝

• 田中 俊明

  東芝研究開発センター

• 平林 裕治

  清水建設株式会社

• 本位田 真一

  株式会社 東芝

• 平林 裕治

  清水建設

• 松本 一教

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

• 内平 直志

  株式会社 東芝 システム・ソフトウェア技術研究所

• 内平 直志

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

• 杉原 太郎

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

• 杉原 太郎

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

• 松本 茂

  (株)東芝

• 中本 政志

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

• 岡本 渉

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

• 中村 英夫

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

• 山崎 達志

  摂南大学工学部

• 中村 正樹

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

• 知野 哲朗

  (株)東芝関西研究所

• 大須賀 昭彦

  (株)東芝

• 西村 一彦

  (株)東芝

• 西村 一彦

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

• 西村 一彦

  東芝 研開セ

• 田村 文隆

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

• 中本 政志

  東芝

• 青山 幹雄

  新潟工科大学

• 山崎 達志

  摂南大学理工学部

• 中村 正樹

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

• 中本 政志

  (株)東芝

• 川田 秀司

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

• 赤嶺 暁子

  株式会社東芝 システム・ソフトウェア技術研究所

• 内平 直志

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

• 中村 正樹

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

• Nakamura Masaki

  Kanazawa Univ. Kanazawa‐shi Jpn

• Nakamura Masaki

  School Of Electrical And Computer Engineering Kanazawa University

• 知野 哲朗

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

• 杉原 太郎

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

• 川田 秀司

  (株)東芝ソフトウェア技術センター

• 杉原 太郎

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

• 青山 幹雄

  富士通(株)

• 佐伯 元司

  東京工業大学

• 上林 憲行

  東京工科大学

• 青山 幹雄

  新潟工科大学情報電子工学科

• 脇園 竜次

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

• 本位田 真一

  情報処理振興事業協会(ipa)新ソフトウェア構造化モデル研究本部 : (現)(株)東芝研究開発センターs&s研究所

• 半田 恵一

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

• 古宮 誠一

  情報処理振興事業協会技術センター

• 大須賀 昭彦

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

• 本位田 真一

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

• 大蒔 和仁

  電子技術総合研究所

• 武田 朗子

  東京工業大学

• 松浦 佐江子

  芝浦工業大学システム理工学部

• 松田 元彦

  住友金属工業(株)

• 蓬莱 尚幸

  セレスター・レキシコ・サイエンシズ

• 上林 憲行

  富士ゼロックス(株)システム・コミュニケーション研究所

• 川田 秀司

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

• 関 俊文

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

• 本位田 真一

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

• 内平 直志

  情報処理振興事業協会(IPA)新ソフトウエア構造化モデル研究本部

• 池 克俊

  東京工業大学

• 白井 豊

  協同システム開発(株)

• 大槻 繁

  (株)日立製作所

• 蓬莱 尚幸

  富士通(株)

• 加藤 潤三

  日本ユニシス(株)

• 大林 正晴

  (株)管理工学研究所

• 松浦 佐江子

  (株)管理工学研究所

• 荒谷 徹

  富士ゼロックス(株)

• 大木 幹雄

  日本電子計算(株)

• 村井 進

  フリーランス・テクニカルライター

• 川田 秀司

  株式会社 東芝 システム・ソフトウェア技術研究所

• 伊藤 美香子

  株式会社 東芝 システム・ソフトウェア技術研究所

• 松本 一教

  株式会社 東芝 システム・ソフトウェア技術研究所

• 本位田 真一

  東京大学大学院情報理工学系研究科|国立情報学研究所

• 蓬莱 尚幸

  東京工業大学情報理工学研究科計算工学専攻

• 古宮 誠一

  芝浦工業大学大学院 工学研究科

• 松浦 佐江子

  芝浦工業大学大学院 工学研究科

• 平林 裕治

  清水建設 技研

• 武田 朗子

  東京工業大学 大学院情報理工学研究科

• 関 俊文

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

• 粕谷 利明

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

• 赤嶺 暁子

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

• 脇園 竜次

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

• 古宮 誠一

  情報処理振興事業協

• 加藤 潤三

  独立コンサルタント

• 大槻 繁

  (株)エクイティ・リサーチ

• 大木 幹雄

  日本工業大学

• 大槻 繁

  日立

• 大槻 繁

  株式会社一(いち)

• 半田 恵一

  (株)東芝

• 半田 恵一

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

• 大林 正晴

  管理工学研

• 上林 憲行

  富士ゼロックス(株)システム実験研究所

• 鳥居 健太郎

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

• 田中 俊明

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

• 中村 正樹

  富山県立大学工学部

• 鳥居 健太郎

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

もっと見る 閉じる

著作論文

• 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とオブジェクト指向設計の融合手法
• 仕様記述過程モデル化のための実験と分析
• 時相論理とその応用 (<特集>非標準論理とその応用)
• 時制論理に基づく仕様記述とそのデバッグ環境
• 知的プログラミングシステム (AI技術)
• 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
• 並列プログラムの知的プログラミング支援システムMENDELS(2) : 部品再利用による本体部の生成
• 並列プログラムの知的プログラミング支援システムMENDELS(1) : システム構成
• ペトリネットは便利な道具
• 不確実な電力事業環境下における発電設備投資計画法
• 不確実な環境下における発電設備の投資計画の一手法(電力のOR)
• 5ZC-6 並行プログラムに関するテスト・デバッグ方式
• 組込み制御用ソフトウェア次世代テスト・デバッグシステム
• 高水準ペトリネットによるソフトウェア開発方法論
• 時制論理とペトリネット(AIの推論とOR)
• 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
• 離散事象システムの網羅的シミュレーション
• シ-ケンス制御プログラムの検証技術
• 特集「仕様獲得と知識獲得 : ソフトウェアシステムの視点から」の編集にあたって
• 様相論理による並行プログラムの積重ね式検証法
• 通信制御ソフトウェアの時相論理による検証 : 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,コンカレントシステム及び一般)
• 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
• 推論型システム記述言語 MENDEL
• 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
• 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
• 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について

もっと見る 閉じる

スポンサーリンク