学位

• 博士（人間・環境学）(京都大学)

経歴

学歴

受賞

その他

論文

• Toward Individual Fairness Testing with Data Validity [DOI] [Othres link]
• Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. [DOI] [DBLP] [Othres link]
• Approximation-guided Fairness Testing through Discriminatory Space Analysis. [DOI] [DBLP] [Othres link] [Othres link]
• Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability [DOI] [ResearchMap]
• ZDD-based algorithmic framework for solving shortest reconfiguration problems [DOI] [DBLP]
• Efficient Fairness Testing Through Hash-Based Sampling [DOI] [DBLP] [Othres link]
• Applying Combinatorial Testing to Verification-Based Fairness Testing [DOI] [DBLP] [Othres link]
• 交差回避制約を用いた単純配線決定問題のCSP解法
• Interval-based Counterexample Analysis for Error Explanation [DOI] [Othres link]
• Exact Method for Generating Strategy-Solvable Sudoku Clues [DOI] [Othres link]
• Extended Min-Hash Focusing on Intersection Cardinality [DOI] [DBLP] [Othres link] [Othres link]
• ZDDs and enumeration problems: State-of-the-art techniques and programming tool [Scopus] [Scopus]
• Dualization of boolean functions using ternary decision diagrams [DOI] [Web of Scientce]
• ZDDと列挙問題―最新の技法とプログラミングツール [DOI] [CiNii Research (CiNii Articles)]
• Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Improved compression-based pattern recognition exploiting new useful features [DOI]
• Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries [DOI]
• Implementing Efficient All Solutions SAT Solvers [DOI] [Othres link]
• ZDDと列挙問題 - 最新の技法とプログラミングツール
• Effective Construction of Compression-based Feature Space [Web of Scientce]
• BDD Construction for All Solutions SAT and Efficient Caching Mechanism [DOI] [Web of Scientce]
• Superset Generation on Decision Diagrams
• 超大規模なグラフ構造の効率的な処理技術
• Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams [DOI] [Web of Scientce]
• 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 [DOI] [CiNii Research (CiNii Articles)]
• Dualization of Boolean Functions Using Ternary Decision Diagrams
• Three-way Indexing ZDDs for Large-Scale Sparse Datasets [DOI] [Web of Scientce]
• A General Framework for Parallel Unary Operations on ZDDs [DOI] [Web of Scientce]
• Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams
• 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 [J-GLOBAL] [CiNii Research (CiNii Articles)]
• 順列二分決定グラフを用いたパターン回避順列の列挙索引化 [CiNii Research (CiNii Articles)]
• On separating families of bipartitions [DOI] [Web of Scientce]
• Fast compression of large-scale hypergraphs for solving combinatorial problems [DOI]
• Hypergraph transversal computation with binary decision diagrams [DOI]
• Extracting co-occurrence relations from ZDDs [DOI]
• On Separating Convex Points with Lines
• On Partitioning Colored Points [DOI] [Web of Scientce]
• Multipolytopes and Their Duality
• Convex sets in real projective space and its application to computational geometry

その他業績

• 不確実な信念を持つ人狼知能エージェントの論理モデルと仮説推論手法の開発に向けて [DOI] [CiNii Research]
• 形式検証によるXGBoostの個人公平性テストの試み [DOI] [CiNii Research]
• ZDDを用いた組合せ遷移ソルバー [J-GLOBAL]
• 超大規模なグラフ構造の効率的な処理技術 (小特集 ｢フカシギの数え方｣から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野) [CiNii Research (CiNii Articles)]
• 論理関数のCNFからBDDの効率的な構築法 (システム数理と応用) [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 論理関数のCNFからBDDの効率的な構築法 [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• 巨大で疎な組合せ集合を表現するための三分索引化ZDD [CiNii Research (CiNii Articles)] [CiNii Books]

講演・口頭発表等

• 多様性を重視した公平性テスト技術とその多様性の考察
• だます人狼知能エージェントに関する初期的な考察
• 機械学習モデルのテスト・検証への論理的アプローチ
• 決定的従属関係の含まれるベイジアンネットワークの近似推論手法に関する考察
• ナイーブベイズ分類器におけるデルタ公平性
• 機械学習モデルの公平性のテスト手法
• 制約最適化に基づく画像の時間順並び替え
• 機械学習モデルの公平性テスト手法VBT-Xと今後の展望
• ハッシュベースサンプリングによる効率的な公平性テスト
• 類似学習節に基づくCDCLソルバーの高速化
• 不確実性下における複合イベントの確率推定システムの開発
• 属性間依存度を考慮したデータベースの安全なフラグメント化
• 有界モデル検査による独立集合遷移問題の解法に関する考察
• 不確実性下における複合イベント処理に関する考察
• 命題論理式の解の一様サンプリングの改善
• SATフィルターの検討
• SATサンプリングとその周辺
• 制約言語の観点におけるCP4IMの複雑さ
• 交差回避制約によるSAT型ナンバーリンクソルバーの高速化
• モデル検査における反例空間の構造解析
• ユークリッド距離に基づく多観点非類似度とその分割最適化クラスタリングへの応用
• 共通要素を類似度とするハッシュベース集合間類似検索手法の改善
• 多観点類似度を用いた凝集型階層クラスタリング
• モデル検査における反例発見から反例列挙への拡張
• 集合間類似度を用いたストリームデータのtop-k類似検索に対する高速な厳密解アルゴリズム
• 命題論理式を充足する変数割当の網羅的探索手法について
• 効率的なAllSATソルバーの実装と評価
• 命題論理式を充足する変数割当の網羅的探索手法について
• 擬似ブール制約を解く
• 擬似ブール制約を解く
• AllSATにおける変数従属関係
• 変数間の支配関係に基づく論理式の全解列挙手法
• 適応的に類似度を選択する類似画像検索方式
• 部分構造の類似性を考慮したMin-Hashベースのグラフ類似検索
• 共通要素数を重視したハッシュベース集合間類似検索
• 全解列挙型SATソルバー
• AllSATソルバの最近の進展
• BDDに基づくALLSATソルバーを用いたアイテムセットマイニング
• BDDを用いたALLSATの枠組みとパターンマイニングへの応用
• ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法
• ALLSATのためのBDD構築および効率的なキャッシング技法
• All Solutions SAT, BDD Compilation and Pattern Mining
• 2段階グラフカットを用いた動画からの移動物体抽出
• Efficient Caching Mechanism in BDD Compilation
• Dualization Using Decision Diagrams and Its Application for Itemset Mining
• DPLL型BDD構築法の改善
• サイクル描画について
• SATソルバーを用いたBDD構築法
• Generating Permutations under Pattern Occurence Constraints Using PiDDs
• A General Framework for Parallel Unary Operations on ZDDs
• Three-way Indexing ZDDs for Large-scale Sparse Datasets
• 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
• メモリ階層を考慮したBDD演算とその並列化
• ZDDにおける単項演算並列化の一般的枠組みの提案
• 圧縮性に基づくパターン認識手法における特徴空間の改善
• Twitterを利用した時事イベントとローカルイベントの同時検出
• 論理関数のCNFからBDDの効率的な構築法
• 論理関数のCNFからBDDの効率的な構築法
• 巨大で疎な組合せ集合を表現するための三分索引化ZDD
• 二分決定グラフに基づくハイパーグラフ極小横断の列挙
• 二分決定グラフに基づく大規模ハイパーグラフの双対化
• Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams
• 二分決定グラフに基づく極小横断の列挙
• 二分決定グラフに基づくハイパーグラフ極小横断の列挙
• 三分木によるZDDのパス長の均一化手法
• 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用
• 大規模ハイパーグラフからZDDの高速な構築アルゴリズム
• ２分決定グラフに基づくハイパーグラフ双対化
• 順列二分決定グラフを用いたパターン回避順列の列挙索引化
• On Separating Convex Points with Lines
• 二分決定グラフを用いたフロアプランの解析に向けて
• 二分決定グラフから変数同等関係の抽出
• ２分割のなす分離族の数え上げ
• ２分割のなす分離族おん数え上げ
• 集合を粉砕する二分割の集まりはいくつあるか？
• On Partitioning Colored Points
• 色付きの点の集まりはいつ超平面によりその色付け通りに分割できるか？
• 色付きの点の集まりはいつ超平面によりその色付け通りに分割できるか？
• Multi-convex sets in real projective spaces and their duality
• 与えられたどの凸多角形にも交差しない直線全体を構成するアルゴリズム
• What is a Convex Set in a Real Projective Space? - An Interesting Helly-type Theorem -
• Domain-theoretical aspects of convex sets in real projective space

書籍等出版物

• 超高速グラフ列挙アルゴリズム –フカシギの数え方が拓く，組合せ問題の新アプローチ− [Amazon]

作品等

共同研究・競争的資金等の研究課題

• 工学アプローチによる組合せ遷移の展開：配電切替を足がかりとして汎用ソルバーへ
• 大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用
• 決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用
• 組合せ最適化の研究助成
• 組合せ最適化の研究助成

メディア報道

産業財産権

• 状態遷移評価装置、状態遷移評価方法

所属学協会

委員歴

担当経験のある科目

• 情報工学工房
• コンピュータリテラシー
• 基礎プログラミングおよび演習（K課程）
• 計算数理
• 計算量の理論
• 情報工学工房
• 基礎プログラミングおよび演習
• K課程輪講
• 大学院技術英語
• MICS実験第二
• 情報システム基盤学基礎１
• 数理科学特論I
• 情報システム基盤学基礎２

社会貢献活動

学術貢献活動

• 情報処理学会 第85回全国大会 学生セッション（アルゴリズム）座長
• ウィンターワークショップ 2023 T4: 機械学習システムの公平性とソフトウェア工学