Skip Jordan (= Charles Jordan) ジョーダン・スキップ ERATO湊離散構造処理系プロジェクト 〒060-0814 札幌市北区北14条西9丁目 北海道大学大学院情報科学研究科　工学系C306 skip at ist.hokudai.ac.jp

科学技術振興機構 ERATO湊離散構造処理系プロジェクト、研究員。 2012年3月までは北海道大学 大学院情報科学研究科 コンピュータサイエンス専攻 アルゴリズム研究室 の大学院生、2009年〜2012年は 日本学術振興会の 特別研究員(DC1)でした。 指導教員は ツォイクマントーマス教授 でした。

研究テーマ
プロパティ検査、計算量理論、記述計算量、形式論理等。

論文

• Testable and Untestable Classes of First-Order Formulae.  [pdf]
  Charles Jordan and Thomas Zeugmann. To appear in Journal of Computer and System Sciences, 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, (Robert L. Constable and Alexandra Silva, Eds.), Lecture Notes in Computer Science 7230, pp. 24 - 34, Springer 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, (Lev D. Beklemishev and Ruy de Queiroz, Eds.), Lecture Notes in Artificial Intelligence 6642, pp. 176 - 186, Springer 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, (Jan Kratochvíl, Angsheng Li, Jiří Fiala and Petr Kolman, Eds.), Lecture Notes in Computer Science 6108, pp. 296 - 307, Springer 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, (Adrian-Horia Dediu, Henning Fernau and Carlos Martín-Vide, Eds.), Lecture Notes in Computer Science 6031, pp. 333 - 343, Springer 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, (Osamu Watanabe and Thomas Zeugmann, Eds.), Lecture Notes in Computer Science 5792, pp. 141 - 155, Springer 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, (Manindra Agrawal, Dingzhu Du, Zhenhua Duan and Angsheng Li, Eds.), Lecture Notes in Computer Science 4978, pp. 94 - 104, Springer 2008.

その他

• Recent Progress in the Classification for Testability.
  Charles Jordan and Thomas Zeugmann. LICS 2011でのショートトーク, June 2011.
• 2009年3月は電子情報通信学会北海道支部支部長賞を受賞しました。
• PGP用公開鍵はこちら。

---

English