ゆーちき

京都工芸繊維大学にいます。

Webフロントエンド

「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Python, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬

F#, Rust

Moggiと"love"で接近中! 🤟🙄🤟

Coqなどによるプログラムの正しさの検証・証明に興味があります。

AtCoder Inc. CEO Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010/2017 Marathon 2nd place. ICFPC 2013/2015/2016/2018 Winner

C#ｽｺｼﾜｶﾙ

モチベが上がらないだけで生きてますよ

N予備校 Android アプリの開発をしています。

株式会社ジード / 著書『C#コードレシピ集』『実戦で役立つ C#プログラミングのイディオム/定石&パターン』『新・標準プログラマーズライブラリ なるほどなっとく C#入門』『C#プログラミング入門―オブジェクト指向のプログラミング手法を基礎から解説』/ 元 Microsoft MVP for Developer Technologies 2005-2022

迷えるC++プログラマを救う神様をやっています。

アセンブリからWebまで広くやっています。

スローペースで生きてます。

関西型言語の研究をしています。