Skip Jordan

Skip Jordan (= Charles Jordan)
ジョーダン・チャールズ（スキップ）
アルゴリズム研究室
北海道大学大学院情報科学研究院
〒060-0814
札幌市北区北14条西9丁目

Tel: 011-706-7675
skip at ist.hokudai.ac.jp

北海道大学大学院情報科学研究院情報理工学部門アルゴリズム研究室の助教です。

研究テーマ
形式論理、特に記述計算量とその応用、分散アルゴリズム、計算量理論等。

論文

lrsarith: a small fixed/hybrid arithmetic C library. [pdf]
David Avis and Charles Jordan. arXiv:2101.12425, 2021.
mts: a light framework for parallelizing tree search codes. [pdf] arXiv:1709.07605
David Avis and Charles Jordan. To appear, Optimization Methods and Software.
ソースコードの変更などはチュートリアル(arXiv:1610:07735)で説明している。
Parallel Enumeration of Triangulations. [pdf] arXiv:1709.04746
Charles Jordan, Michael Joswig and Lars Kastner. Electronic Journal of Combinatorics 25(3), #P3.6, 2018.
mplrs: A scalable parallel vertex/facet enumeration code. [pdf] arXiv:1511.06487
David Avis and Charles Jordan. Mathematical Programming Computation 10(2):267–302, 2018.
Mathematical Programming Societyによるオープンアクセス。
The Kahr-Moore-Wang Class Contains Untestable Properties. [pdf]
Charles Jordan and Thomas Zeugmann. Baltic Journal of Modern Computing 4(4):736–752, 2016. (special issue in memory of R. Freivalds)
Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers. [pdf]
Charles Jordan and Łukasz Kaiser. arXiv:1609.02664, 2016.
QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games. [pdf]
Mikoláš Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl and Allen Van Gelder. Journal on Satisfiability, Boolean Modeling and Computation 9:187–206, 2016.
Non-CNF QBF Solving with QCIR. [pdf]
Charles Jordan, Will Klieber and Martina Seidl. In AAAI Technical Report WS-16-05, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence, pp. 320–326, 2016.
Comparative computational results for some vertex and facet enumeration codes. [pdf]
David Avis and Charles Jordan. arXiv:1510.02545, 2015.
2016年6月に更新(v3)。
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. [pdf]
Charles Jordan, Lukasz Kaiser, Florian Lonsing and Martina Seidl. In Theory and Applications of Satisfiability Testing - SAT 2014, 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Lecture Notes in Computer Science 8561, pp. 430–437, 2014.
Experiments with Reduction Finding. [pdf]
Charles Jordan and Łukasz Kaiser. In Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, Helsinki, Finland, July 2013, Proceedings, Lecture Notes in Computer Science 7962, pp. 192–207, 2013.
Benchmarks from Reduction Finding. [pdf]
Charles Jordan and Łukasz Kaiser. In International Workshop on Quantified Boolean Formulas 2013, Informal Workshop Report, pp. 40–43, 2013.
Learning Programs as Logical Queries. [pdf]
Charles Jordan and Łukasz Kaiser. In ICALP 2013 Satellite Workshop on Learning Theory and Complexity (LTC), 2013.
Testable and Untestable Classes of First-Order Formulae. [pdf]
Charles Jordan and Thomas Zeugmann. Journal of Computer and System Sciences 78(5):1557–1578, 2012.
Experimental Descriptive Complexity. [pdf]
Marco Carmosino, Neil Immerman and Charles Jordan. In Logic and Program Semantics, Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 7230, pp. 24–34, 2012.
Testable and Untestable Classes of First-Order Logic.
Charles Jordan. 博士論文, 2012.
Untestable Properties in the Kahr-Moore-Wang Class. [pdf]
Charles Jordan and Thomas Zeugmann. In Logic, Language, Information and Computation, 18th International Workshop, WoLLIC 2011, Philadelphia, USA, May 2011, Proceedings, Lecture Notes in Artificial Intelligence 6642, pp. 176–186, 2011.
A Note on the Testability of Ramsey's Class. [pdf]
Charles Jordan and Thomas Zeugmann. In Theory and Applications of Models of Computation, 7th International Conference, TAMC 2010, Prague, Czech Republic, June 2010, Proceedings, Lecture Notes in Computer Science 6108, pp. 296–307, 2010.
Untestable Properties Expressible with Four First-Order Quantifiers. [pdf]
Charles Jordan and Thomas Zeugmann. In Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 2010, Proceedings, Lecture Notes in Computer Science 6031, pp. 333–343, 2010.
次のテクニカルレポートの会議版です。
Contributions to the Classification for Testability: Four Universal and One Existential Quantifier. [pdf]
Charles Jordan and Thomas Zeugmann. Technical Report TCS-TR-A-09-39, Hokkaido University, Division of Computer Science, November 2009.
Relational Properties Expressible with One Universal Quantifier Are Testable. [pdf]
Charles Jordan and Thomas Zeugmann. In Stochastic Algorithms: Foundations and Applications, 5th International Symposium, SAGA 2009, Sapporo, Japan, October 2009, Proceedings, Lecture Notes in Computer Science 5792, pp. 141–155, 2009.
関係プロパティ検査における分類問題. [ps.gz]
ジョーダンチャールズハロルド. 修士学位論文, 2009.
テクニカルレポートもあります。
Indistinguishability and First-Order Logic. [pdf]
Skip Jordan and Thomas Zeugmann. In Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 2008, Proceedings, Lecture Notes in Computer Science 4978, pp. 94–104, 2008.

プログラム

mplrs: 分散マシンでlrsを並列に使えるプログラムです。詳細は lrsのホームページか論文にあります。
mts: David Avisと逆探索等を並列化するためのプログラムを開発しています。詳細やコードはチュートリアルで説明しています。
mptopcom: Michael Joswigと Lars Kastnerと共同で開発している三角形分割の並列列挙プログラム。詳細は mptopcomのホームページか論文にあります。
de: 記述プログラミング環境です。紹介はこちらで、 SAT2013の論文でも使っています。
cmdqbf: 分散QBFソルバ(開発中)

イベント

その他

QBFソルバを用いた一般化三並べの拡張の勝敗判定.
ディプタラマ, 石黒裕也, 成澤和志, 篠原歩, ジョーダンチャールズ. ゲームプログラミングワークショップ2015論文集, pp. 154--161, 2015.
Experimental Descriptive Complexity.
Charles Jordan (Marco CarmosinoとNeil Immermanと共同研究).
FMT 2012での口頭発表、2012年5月。
スライドはこちらまたはFMTのプログラムからダウンロード可能です。
Recent Progress in the Classification for Testability.
Charles Jordan and Thomas Zeugmann.
LICS 2011でのショートトーク、2011年6月。
スライドとオーディオはFields Instituteからダウンロード可能です。
PGP用公開鍵はこちらです。古い鍵は古くなったため更新しました。

English