yuchiki.github.io

Yuchiki

アカウント類

Twitter

%a{ href: 'https://twitter.com/yuchiki1000yen' } @yuchiki1000yen

misskey.io

%a{ href: 'https://misskey.io/@yuchiki1000yen' } @yuchiki1000yen

mstdn.jp

%a{ href: 'https://mstdn.jp/web/@yuchiki1000yen' } @yuchiki1000yen

Github

%a{ href: 'https://github.com/yuchiki' } yuchiki

Qiita

%a{ href: 'https://qiita.com/yuchiki1000yen' } yuchiki1000yen

zenn

%a{ href: 'https://zenn.dev/yuchiki' } yuchiki

Blog

%a{ href: 'http://yuchiki1000yen.hatenablog.com' } Amosapientiam

Profile

History

• 2020-01 - 株式会社KADOKAWA Connected
• 2019-04 - 2019-12 株式会社ドワンゴ
• 2017-04 - 2019-03 東京大学大学院情報理工学系研究科
• 2015-04 - 2017-03 東京大学理学部情報科学科
• 2013-04 - 2015-03 東京大学理科一類

自然言語たち

• 日本語: 母語
• 英語: 少し
• ラテン語: 基礎文法は理解

プログラミング言語とツールたち

業務経験

• Golang
• Ruby
• Coffee Script
• Ruby on Rails
• haml
• scss
• Kubernetes
• Ansible
• Jenkins

趣味で経験

• Haskell
• C++
• C#
• Travis CI

大学の授業、会社の研修で経験

• Scala
• C
• PowerPC Assembly
• Scheme
• OCaml
• Haskell
• VHDL
• Python

Hello World、Fizz Buzz程度の経験

• TypeScript
• VB6
• VB.net
• JavaScript
• Brainf*ck
• Unlambda
• Lua
• MIPS Assembly
• Common Intermediate Language (dotnet VM Assembly)
• F*

興味・関心

コンピュータ科学

• 型理論
• 形式検証
• 数理論理学
• 言語設計
• 言語処理系
• C#

言語・言語学(上ほど興味強し)

• 形式意味論
• 生成文法
• 音声学
• 音韻論
• ラテン語
• 比較言語学
• 歴史言語学

その他

• 日本民謡・歌謡
• 西洋民謡・歌謡
• クラシック
• 美術展・博物展
• 浪曲
• 街歩き

AtCoder

icon