Basic Information

Login Name:
magicant
Display Name:
まじかんと
Site Member Since:
2006-02-16 18:30
Activity Rank:
53 (279pt)
Self Introduction:
2009 年 3 月東京大学理学部情報科学科卒業。
2011 年 3 月東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程修了。
専門は型システムによるプログラムの論理的検証。
2011 年 4 月 ACCESS 入社。

Projects

Chambers

No Chambers

Keywords

Like
No Tags
Dislike
No Tags
Misc keyword
No Tags

Skills

loading
NameExperienceSkill LevelDo you like/dislike the tech?
java2 yr - 5 yr
英語> 10 yr
unixシェル5 yr - 10 yr
vi/vim5 yr - 10 yr
javascript2 yr - 5 yr
c#2 yr - 5 yr
c2 yr - 5 yr
objective-c2 yr - 5 yr
haskell6 Mo - 2 yr
Are you sure to delete ''?