Degree

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

Research History

Education

Awards

Others

Papers

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

Misc

• Toward development of logical model and abductive inference method of Werewolf agents with uncertain beliefs（2024-05） [DOI] [CiNii Research]
• Toward Individual Fairness Testing for XGBoost Classifier through Formal Verification（2024-05） [DOI] [CiNii Research]
• ZDDを用いた組合せ遷移ソルバー（2022） [J-GLOBAL]
• Efficient Processing Techniques for Very Large-scale Graph Structure（2014-12） [CiNii Research (CiNii Articles)]
• Efficient Construction of BDDs from CNFs（2013-11-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Efficient Construction of BDDs from CNFs（2013-10-30） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Three-way Indexing ZDDs for Large Scale Sparse Dataset（2013-10-11） [CiNii Research (CiNii Articles)] [CiNii Books]

Presentations

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

Books and Other Publications

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

Works

Research Projects

Media Coverage

Industrial Property Rights

• 状態遷移評価装置、状態遷移評価方法（特許第6602259）

Professional Memberships

Committee Memberships

Teaching Experience

• Computer Literacy
• Fundamental Programming
• 計算数理
• 計算量の理論
• Information Engineering Laboratory
• 三大学協働基礎ゼミ
• Information Engineering Laboratory
• Fundamental Programming
• Seminar
• Graduate Technical English
• Computer Science Laboratory II
• 情報システム基盤学基礎１
• 数理科学特論I
• 情報システム基盤学基礎２

Social Contribution

Academic Contribution

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