Takesita Katunori

電子工作が主な趣味ですが、PC用のツールを作るのも好きです。 特にライセンスを明記していないソースコードのライセンスについてはCC0です。

Y!ブログが閉鎖されたので、技術系のネタはこちらで今後公開するようにしようと思います。

1950年生まれ。 1985年にMindという日本語プログラミング言語を開発し、ライフワークとして続けています。作成するプログラムのほとんどはMindで記述しています。

Processingとp5.jsが大好き！

元へっぽこ電子回路エンジニア。現在隠居中。どちらかというとVHDL派。最近はFPGA+SoC でいろいろやってます。github でもいろいろと公開してます。 https://github.com/ikwzm

ゆとり

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

nariさん

プログラマ

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