研究者を探す
橋本 健二
2024年11月15日更新
- 職名
- 創造工学部 准教授
- 電話
- 研究者総覧に該当データはありませんでした。
- 電子メール
- 研究者総覧に該当データはありませんでした。
- 学歴
- 2009年3月1日 大阪大学 情報科学研究科
2006年3月1日 大阪大学 情報科学研究科
2004年3月1日 大阪大学 基礎工学部 - 学位
- 博士(情報科学)
- 職歴・経歴
- 2024年4月1日〜現在 香川大学 創造工学部 准教授
2017年4月1日〜2024年3月1日 名古屋大学 大学院情報学研究科情報システム学専攻 助教
2013年10月1日〜2017年3月1日 名古屋大学 大学院情報科学研究科情報システム学専攻 助教
2009年4月1日〜2013年9月1日 奈良先端科学技術大学院大学 情報科学研究科 助教
- 専門分野・研究分野
- SAT
モデル計数
形式言語理論
ソフトウェア
情報学基礎論
2024年11月15日更新
- 専門分野・研究分野
- SAT
モデル計数
形式言語理論
ソフトウェア
情報学基礎論 - 担当経験のある授業科目
- 研究者総覧に該当データはありませんでした。
- 指導経験
- 研究者総覧に該当データはありませんでした。
2024年11月15日更新
- 専門分野・研究分野
- SAT
モデル計数
形式言語理論
ソフトウェア
情報学基礎論
- 研究テーマ
- 研究者総覧に該当データはありませんでした。
- 著書
- 研究者総覧に該当データはありませんでした。
- 論文
- 研究者総覧に該当データはありませんでした。
- MISC
- 研究者総覧に該当データはありませんでした。
- 総説・解説
- 研究者総覧に該当データはありませんでした。
- 講演・発表
- 研究者総覧に該当データはありませんでした。
- 研究会・報告書
- 研究者総覧に該当データはありませんでした。
- 特許
- 研究者総覧に該当データはありませんでした。
- 作品
- 研究者総覧に該当データはありませんでした。
- 補助金・競争的資金
- 研究者総覧に該当データはありませんでした。
- その他
- 研究者総覧に該当データはありませんでした。
2024年11月15日更新
- 専門分野・研究分野
- SAT
モデル計数
形式言語理論
ソフトウェア
情報学基礎論 - 所属学会・所属協会
- 研究者総覧に該当データはありませんでした。
- 委員歴・役員歴
- 研究者総覧に該当データはありませんでした。
- 受賞
- 研究者総覧に該当データはありませんでした。
- 活動
- 研究者総覧に該当データはありませんでした。
2024年11月10日更新
2024年11月9日更新
Ｊグローバル
- Jグローバル最終確認日
- 2024/11/9 01:05
- 氏名（漢字）
- 橋本 健二
- 氏名（フリガナ）
- ハシモト ケンジ
- 氏名（英字）
- Hashimoto Kenji
- 所属機関
- 香川大学 准教授
リサーチマップ
- researchmap最終確認日
- 2024/11/10 01:12
- 氏名（漢字）
- 橋本 健二
- 氏名（フリガナ）
- ハシモト ケンジ
- 氏名（英字）
- Hashimoto Kenji
- プロフィール
- リサーチマップAPIで取得できませんでした。
- 登録日時
- 2023/9/29 14:30
- 更新日時
- 2024/5/23 18:57
- アバター画像URI
- リサーチマップAPIで取得できませんでした。
- ハンドル
- リサーチマップAPIで取得できませんでした。
- eメール
- リサーチマップAPIで取得できませんでした。
- eメール（その他）
- リサーチマップAPIで取得できませんでした。
- 携帯メール
- リサーチマップAPIで取得できませんでした。
- 性別
- リサーチマップAPIで取得できませんでした。
- 没年月日
- リサーチマップAPIで取得できませんでした。
- 所属ID
- 0516039000
- 所属
- 香川大学
- 部署
- 創造工学部
- 職名
- 准教授
- 学位
- 博士(情報科学)
- 学位授与機関
- 大阪大学
- URL
- リサーチマップAPIで取得できませんでした。
- 科研費研究者番号
- リサーチマップAPIで取得できませんでした。
- Google Analytics ID
- リサーチマップAPIで取得できませんでした。
- ORCID ID
- リサーチマップAPIで取得できませんでした。
- その他の所属ID
- リサーチマップAPIで取得できませんでした。
- その他の所属名
- リサーチマップAPIで取得できませんでした。
- その他の所属 部署
- リサーチマップAPIで取得できませんでした。
- その他の所属 職名
- リサーチマップAPIで取得できませんでした。
- 最近のエントリー
- リサーチマップAPIで取得できませんでした。
- Read会員ID
- リサーチマップAPIで取得できませんでした。
- 経歴
- 受賞
- Misc
- 論文
- 講演・口頭発表等
- 書籍等出版物
- 研究キーワード
- 研究分野
- 所属学協会
- 担当経験のある科目
- その他
- リサーチマップAPIで取得できませんでした。
- Works
- リサーチマップAPIで取得できませんでした。
- 特許
- リサーチマップAPIで取得できませんでした。
- 学歴
- 委員歴
- 社会貢献活動
- リサーチマップAPIで取得できませんでした。
2024年11月9日更新
- 研究者番号
- 90548447
- 所属（現在）
- 2024/4/1 : 香川大学, 創造工学部, 准教授
- 所属（過去の研究課題
情報に基づく）*注記 - 2024/4/1 : 香川大学, 創造工学部, 准教授
2017/4/1 – 2023/4/1 : 名古屋大学, 情報学研究科, 助教
2017/4/1 : 名古屋大学, 大学院情報学研究科, 助教
2012/4/1 – 2016/4/1 : 名古屋大学, 情報科学研究科, 助教
2015/4/1 : 名古屋大学, 大学院情報科学研究科, 助教
2010/4/1 – 2012/4/1 : 奈良先端科学技術大学院大学, 情報科学研究科, 助教
- 審査区分/研究分野
-
研究代表者
総合・新領域系 / 総合領域 / 情報学 / メディア情報学・データベース
総合系 / 情報学 / 計算基盤 / ソフトウェア / 総合系 / 情報学 / 情報学基礎 / 情報学基礎理論
総合系 / 情報学 / 計算基盤 / ソフトウェア
小区分60050:ソフトウェア関連研究代表者以外
総合・新領域系 / 総合領域 / 情報学 / ソフトウエア
総合系 / 情報学 / 計算基盤 / ソフトウェア
小区分60050:ソフトウェア関連
- キーワード
-
研究代表者
XML / 文書変換 / 情報保存 / 問合せ保存 / 木変換器 / スキーマ / 問合せ保存性 / 木オートマトン / 関数性 / 投射モデル計数 / 量的情報流解析 / BDD / 阻止節 / 変数順序 / d-DNNF / 成分キャッシュ / モデル計数 / 機械学習 / SAT
研究代表者以外
ソフトウェア検証 / 形式言語理論 / モデル検査 / XML / 情報保存性 / 木変換器 / セキュリティ / 木オートマトン / 圧縮 / 頂点問合せ / 木文法 / 文法圧縮 / マルウェア解析 / SMTソルバ / レジスタオートマトン / レジスタ文脈自由文法 / 計算複雑さ / プログラムセキュリティ / 動的情報漏洩量 / ソフトウェア解析 / プライバシー / 自動解析 / トップ木 / 文脈自由文法 / 有向グラフ / 直線的文脈木文法 / XPath / 量的情報流 / k-安全性 / XMLデータベース / 時間攻撃 / 差分プライバシー / SMT / SAT / データベース / 隠れマルコフモデル / タイミング攻撃 / 情報理論 / プログラム自動合成 / 線形時相論理 / ゲーム構造 / アクティブ学習 / 重み付き文脈自由文法 / mu-計算 / プログラム合成 / 計算論的ゲーム構造 / プライバシー保護 / レジスタ計算モデル / プログラム自動生成 / 重み付き計算モデル