高橋 和子 | 関西学院大学

スポンサーリンク

概要

• 高橋 和子の詳細を見る
• 同名の論文著者
• 関西学院大学の論文著者

関連著者

• 高橋 和子

  関西学院大学

• 高橋 和子

  関西学院大学理工学部

• 高橋 和子

  関西学院大学大学院理工学研究科

• 住友 孝郎

  関西学院大学理工学研究科

• 稲畑 康博

  関西学院大学

• 住友 孝郎

  関西学院大学理工学部

• 稲畑 康博

  関西学院大学大学院理学研究科

• 奥野 健一

  関西学院大学大学院理工学研究科

• 田浦 健次朗

  東京大学

• 前田 敦司

  筑波大学

• 柴山 悦哉

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

• 吉丸 始須雄

  関西学院大学大学院理工学研究科

• 竹内 泉

  独立行政法人 産業技術総合研究所 システム検証研究センター

• 長谷川 立

  東京大学

• 高砂 智紀

  関西学院大学|現在,富士通テン株式会社

• 渡部 卓雄

  東京工業大学

• 小川 瑞史

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

• 小川 瑞史

  Ntt

• 雲川 翔

  関西学院大学

• 竹内 泉

  産業総合研究所システム検証研究センター

• 原田 康徳

  Ntt

• 兼丸 陽司

  関西学院大学大学院理工学研究科

• 小川 瑞史

  Ntt ソフトウェア研究所

• 高砂 智紀

  関西学院大学|現在 富士通テン株式会社

• 結縁 祥治

  名古屋大学 情報科学研究科

• 八杉 昌宏

  京都大学大学院情報学研究科

• 小川 宏高

  産業技術総合研究所

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 藤井 英明

  三菱電機株式会社伊丹製作所

• 川村 正

  三菱電機株式会社人材開発センター

• 土田 勝紀

  三菱電機株式会社伊丹製作所

• 高木 浩光

  産業技術総合研究所

• 小野寺 民也

  日本アイ･ビｰ･エム

• 前田 敦司

  筑波大学システム情報工学研究科

• 岩崎 英哉

  電気通信大学

• 高木 浩光

  電子技術総合研究所

• 高木 浩光

  電総研

• 高木 浩光

  名古屋工業大学

• 富樫 敦

  宮城大学

• 高木 浩光

  名古屋工業大学工学部電気情報工学科

• 豊島 崇士

  関西学院大学

• 関澤 俊弦

  大阪学院大学

• 高橋 和子

  三菱電機株式会社中央研究所

• 高橋 和子

  順天堂大学医学部病理学第二講座

• 脇田 建

  東京大学理学部

• 村上 昌己

  岡山大学

• 安田 武史

  関西学院大学

• 西村 和也

  関西学院大学大学院理工学研究科

• 河原崎 兼介

  関西学院大学大学院理学研究科

• 高木 浩光

  (独)産業技術総合研究所情報セキュリティ研究センター

• 高橋 和子

  三菱電機株式会社先端技術総合研究所:(現)atr音声翻訳通信研究所

• 関澤 俊弦

  大阪学院大学:産業技術総合研究所システム検証研究センター

• 竹内 泉

  東邦大学

• 高砂 智紀

  関西学院大学大学院理工学研究科

• 中田 秀基

  産業技術総合研

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 河原崎 兼介

  関西学院大学大学院理学研究科:(現)(株)さくらケーシーエス

• 脇田 建

  東京工業大学

• 稲畑 康博

  関西学院大学:(現)株式会社dnp情報システム

• 川村 正

  三菱電機株式会社 人材開発センター

• 高橋 和子

  関西学院大学理工学研究科

• 小西 貴子

  関西学院大学理工学研究科

• 後藤 裕貴

  関西学院大学理工学部情報科学科

• 高橋 和子

  関西学院大学理工学部情報科学科

もっと見る 閉じる

著作論文

• 知識変更を伴う議論システム
• 鉄道信号システムの連動装置の形式的検証向けモデル化と検証環境構築(ソフトウェア基礎, プログラム理論)
• 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
• 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
• 電子現金の分割利用可能性の形式化と帰納的証明
• 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
• Symmetry Reductionを使ったAISの確率付きモデル検査
• 定性空間推論の新しい枠組DLCSとその上での操作
• 矩形領域に基づく定性空間推論の提案と実装
• 凹凸情報と接触パターンに基づく定性空間表現
• 定理証明器による電子現金プロトコルの検証
• 信念改竄によるばれない嘘の生成
• 輻輳問題を考慮したモバイルエージェントによるアドホックネットワークルーティング(モバイル・アドホックネットワーク(1))
• 定性空間表現の二次元平面への埋め込みについて
• 定性空間表現の二次元平面への埋め込みについて
• ボードゲームBAOにおける周期的動作の解析
• ボードゲームBAOにおける周期的動作の解析(数理モデル一般)
• ボードゲームBAOのCCSによる記述と解析
• 性質の伝播に関する定性空間推論
• モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張
• 空間に埋め込まれた意味情報の記述
• マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
• マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
• 動的議論システムの意味論的考察
• 「情報処理学会論文誌 : プログラミング」の編集について
• 「情報処理学会論文誌 : プログラミング」の編集について
• 矩形同士の埋め込み型重ね合わせについての定性空間推論
• 定理証明器によって証明されたCプログラムのマージャ

もっと見る 閉じる

スポンサーリンク