kozima

kozima's Profile

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

ProfileLast updated:

Hatena ID
lkozima
Nickname
kozima
Description

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

Self introduction

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

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

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

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

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

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

Full name

KOJIMA Kensuke

Gender

male

Birthday

1982/03/17

School

Kyoto University

Place of residence

Kyoto

Place of birth

Hiroshima

AtCoder

https://atcoder.jp/users/kozima