Qiita
You are not logged in to any team
Log in to Qiita Team...
Community
List of all organizatioins
Advent Calendar
Qiita Jobs
Qiitadon (β)
Qiita Zine
Community Guideline
How to write good articles
Release note
Signup
Login
LGTM items
Followees
Comment history
Edit request history
Issue report
Help us understand the problem. What is going on with this user?
It's illegal (copyright infringement, privacy infringement, libel, etc.)
It's socially inappropriate (offensive to public order and morals)
It's advertising
It's spam
Other than the above, but not suitable for the Qiita community (violation of guidelines)
ゆーちき
@yuchiki1000yen
@yuchiki
はてなブログ: http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります
8
Posts
146
Contributions
16
Followers
Follow
Following tags
C#
F*
microservices
コーディング規約
.NETCore
関数型言語
論文読み
Makefile
codingRule
LINQ
リファクタリング
F#
関数型プログラミング
Git
Haskell
$ analyze @yuchiki1000yen
posted articles
C#:
75%
LINQ:
25%
Haskell:
13%
AtCoder:
13%
インストール:
13%
LGTMed articles
JavaScript:
32%
C#:
24%
TypeScript:
13%
ECMAScript:
12%
型:
8%
answered questions
No data
All Items
Articles
Answers
Questions