kozimaさんのプロフィール

数学とか論理とか競技プログラミングとか

• 数理論理学やってます（ました？）
• 競技プログラミングもやってます
• 普通の数学も好きです

以下、やや古い情報です。

論理学，といっても公理的集合論とか二階算術とか計算可能性とかは真面目に勉強してなくてよくわかりません。論理のことを「数学を記述するための言語」とはあまり考えていないせいか、メタ数学的な話にはそれほど興味がないというのもあります。

主に興味があるのは非古典論理で、これをもともとの「論理」という言葉の意味を忘れて数学的な構造として調べることに楽しさを感じています。今のところ特に興味があるのは、各種の型システムの背景に存在する基礎的構造としての論理です。型という計算に由来する構造が、論理の道具を使ってどう再解釈されるのかということを意識して論理をやっています。そうすると計算の意味から来る要請を念頭におきつつ論理を作ることになるので、あまり標準的でない振る舞いをする論理を考えることになったりもします。そこで得られた知見が再び型理論のほうへ何らかの示唆をもたらすことになれば面白いとも思っています。

いわゆる普通の数学、特に代数学も、それほど詳しくはありませんが好きです。具体性のない概念に存在感を感じられる瞬間がいいと思います。

プログラミングも好きといえば好きですが、実用的な何かを作ったことはあまりないような気がします。特にメタプログラミングと型理論に興味があります。普段よく使う言語は Common Lisp と OCaml です。

全体的に見て、物事を抽象化し、それを何らかの言語で記述することに興味があるような気がします。最近は，人間の知的活動の背景にある構造全般に興味があるのかなー，と思い始めました。

KOJIMA Kensuke

male

1982/03/17

Kyoto University

Kyoto

Hiroshima