ゆーちき

@yuchiki1000yen

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

Following Organizations

No Organizations you are following

$ analyze @yuchiki1000yen

posted articles:
  • C#:78%
  • LINQ:22%
  • ADT:22%
  • 代数的データ型:22%
  • パーサーコンビネータ:11%
answered questions:
  • No data