ジョーダン チャールズ
Charles JORDAN
更新日: 2023/04/13
基本情報
- 所属
- 小樽商科大学 商学部 社会情報学科 准教授
- 学位
-
博士(情報科学)(北海道大学)
- J-GLOBAL ID
- 201301042146210320
- researchmap会員ID
- B000226256
- 外部リンク
研究分野
1経歴
3-
2021年4月 - 現在
-
2013年11月 - 2021年3月
-
2012年4月 - 2013年10月
学歴
1-
2007年4月 - 2012年3月
論文
19-
Optimization Methods and Software 36(2-3) 279-300 2021年5月4日 査読有り
-
Mathematical Programming Computation 10(2) 267-302 2018年6月1日 査読有り
-
Electr. J. Comb. 25(3) P3.6 2018年 査読有り
-
Beyond NP, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence 320-326 2016年2月 査読有り
-
Baltic Journal of Modern Computing 4(4) 736-752 2016年 査読有り
-
Journal on Satisfiability, Boolean Modeling and Computation 9 187-206 2016年1月 査読有り
-
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014 8561 430-437 2014年 査読有り
-
International Workshop on Quantified Boolean Formulas (QBF 2013) 2013年 査読有り
-
ICALP 2013 Satellite Workshop on Learning Theory and Complexity (LTC 2013) 2013年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7962 192-207 2013年 査読有り
-
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 78(5) 1557-1578 2012年9月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7230 24-34 2012年 査読有り
-
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011 6642 176-186 2011年 査読有り
-
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS 6031 333-343 2010年 査読有り
-
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS 6108 296-307 2010年 査読有り
-
情報科学技術フォーラム FIT 2009 297-299 2009年8月
-
STOCHASTIC ALGORITHMS: FOUNDATIONS AND APPLICATIONS, PROCEEDINGS 5792 141-155 2009年 査読有り
-
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS 4978 94-104 2008年 査読有り
-
情報科学技術フォーラム FIT 2007 25-27 2007年8月
講演・口頭発表等
3-
RIMS Workshop on Algebraic Statistics and Symbolic Computation, Session on Polyhedral Computations 2016年7月
-
Finite and Algorithmic Model Theory (FMT 2012) 2012年5月
-
Logic in Computer Science (LICS 2011) 2011年6月
担当経験のある科目(授業)
6-
2021年4月 - 現在
共同研究・競争的資金等の研究課題
7-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2023年4月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2020年4月 - 2025年3月
-
文部科学省 若手研究 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2016年4月 - 2021年3月
-
文部科学省 科学研究費補助金(新学術領域研究(研究領域提案型)) 2015年4月 - 2016年3月
-
文部科学省 科学研究費補助金(新学術領域研究(研究領域提案型)) 新学術領域研究(研究領域提案型) 2013年 - 2014年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 2009年 - 2011年