あと、底辺レ...kojira面白いことをじゃんじゃんやって行きたい。プログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。型検...hrekttsmarkwat1組込UnixとAndroidとかやってる。画像は手元の機械の背面の写真、某キャラクタの画像ではない。同姓同名だが、赤信号のリーダーではないことを念...tetsu_koba組み込みの人。アイコンはサンフランシスコのカモメ。なにかのイベントのときに大量にツイートすることがあります。6D/ingress(enlightened)/Nagisa-inc.jp/machida(t...kasumanitatsu1225浜松で6年ぐらい組込み屋さんをやってました。その後、お仕事を変えまして教育職の人に。相変わらず専門は組込み系です。現在はくまモンの国にいます。Satoryuchi現在は、首都圏と呼ばれるエリア内に引きこもり中。ときどき首都圏を脱出することもある。