基本情報
ログイン名:
|
magicant
|
表示ユーザー名:
|
まじかんと |
ユーザ登録日:
|
2006-02-16 18:30 |
活発度順位:
|
18位 (993pt)
|
自己紹介:
|
2009 年 3 月東京大学理学部情報科学科卒業。
2011 年 3 月東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程修了。
専門は型システムによるプログラムの論理的検証。
2011 年 4 月 ACCESS 入社。 |
スキル
名前 | 経験 | スキルレベル | その技術 好き/キライ? |
---|
java | 2~5年 | | | unixシェル | 5~10年 | | | c | 5~10年 | | | vi/vim | 5~10年 | | | javascript | 2~5年 | | | c# | 2~5年 | | | 英語 | 10年以上 | | | objective-c | 2~5年 | | | haskell | 6ヶ月~2年 | | |
|
|
1 |
MinGW - Minimalist GNU for Windows (124,841)
|
|
2 |
CrystalDiskInfo (19,558)
|
|
3 |
FFFTP (15,147)
|
|
4 |
TortoiseSVN (13,467)
|
|
5 |
CrystalDiskMark (10,723)
|
|
6 |
Manjaro Linux (7,711)
|
|
7 |
Android-x86 (7,013)
|
|
8 |
Tera Term (4,069)
|
|
9 |
Clonezilla (4,006)
|
|
10 |
Manjarolinux Community (3,101)
|
|
11 |
PeaZip (3,070)
|
|
12 |
Dumpper (2,653)
|
|
13 |
Linux Lite (1,416)
|
|
14 |
7-Zip (1,374)
|
|
15 |
SystemRescueCd (1,255)
|
|
もっと見る >> |
|