ゆーちき

@yuchiki1000yen

はてなブログ: http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります
Following Users42

F#, Rust, (Elm)

トランスコスモス技術研究所にて様々な開発案件を進めています。最近はKotlin頑張ってます。開発メンバー絶賛採用中。このどれかのキーワードでビビっと来た人は面談にお越しください。「ASP.NET C#」, 「Kotlin」,「Swift」,「Angular」,「QA」,「UXデザイナー」,「データサイエンティスト」,「海外開発案件挑戦してみたい」,「Shopify」。

ビジネス無職です。

面白いプログラム言語の機能や面白いプログラム言語の機能以外について話します。

プログラミング言語処理系(コンパイラ/デバッガ/LSP)を作る人です。競プロ参戦記を連載中。(Rust/TypeScript/C#/F#/C++/HSP3) 求職

C#、TypeScriptが好きです。

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARC RTL Design StyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262. I was an editor on ISO/IEC 15504.