研究者
J-GLOBAL ID:200901036122764047
更新日: 2020年09月01日
細野 千春
ホソノ チハル | Hosono Chiharu
競争的資金等の研究課題 (2件):
数理計算理論
Mathematical theory of computation
MISC (18件):
有理Presburger算術の決定性について. コンピュータソフトウェア. 1992. 9. 5
On the Decidability of Rational Presburger Arithmetic. Computer Software. 1992. 9. 5
An Analytic Semantics of CSP. Fundamenta Informaticae. 1991. 15
An Analytic Semantics of CSP. Fundamenta Informaticae. 1991. 15
On an Unsatisfiability-satisfiability Prover. Publications of the Research Institute for Mathematical Sciences. 1989. 25. 1
もっと見る
学歴 (4件):
- 1975 京都大学 理学研究科 数学
- 1975 京都大学
- 1973 京都大学 理学部
- 1973 京都大学
学位 (1件):
理学博士
経歴 (1件):
筑波大学 システム情報系 准教授
所属学会 (3件):
情報処理学会
, 日本ソフトウェア科学会
, 日本数学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM