nagi125

10 Contribution

/ Following users

PHP(Laravel) / JavaScript(React/Redux/ReduxSaga/ReactNative) / MySQL あたりが得意分野なWeb系エンジニア。最近マンネリ化がひどいので Go / Kotlin / Rust / Swift あたりから何か掘り下げたいと思っている。Go は 2.x 出てから書きます。古い記事はそのまま参考にしないようにご注意ください

Win,Macソフト、Webサイトを作っています。 主な言語 Delphi / PHP / JS / html メインサイト:http://gracix.com/ 技術系サイト:http://worktoolsmith.com/

フィッシュアンドチップス!!!!

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