@nari3

遊んで暮らしたい。

ぐへへ

スタートアップで働いてます

Software Engineer

計算機アーキテクチャに興味があります。

One of implementations of june29.

仕事からの現実逃避中

くぁ

a computer programmer

Ph.D candidate at University of Tokyo Common Lisp/Scheme/Objective-C/javascript/Python/C/C++/Java Linux server administration Robotics, PointClouds, CV, web

投稿しているコードは、指定が無い限り MIT とします。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

((((;´･ω･`)))

Technical Specialist in SORABITO Inc. #Smalltalk-ing #Ruby committer #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394

hi

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

C++とかHaskellとかこわいです

.｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆) 記事はQiitaには書きません。

起業家とエンジニアが多いシェアハウスの管理人 AY合同会社代表・エンジニア 現在個室の空きあり〼( https://aya-eiya.work )

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

プログラミング初心者です。

hogelog http://hogel.org/

アイムツナ

Hi

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch