@maeda_

好きなお米の品種はゆめぴりかです。

プログラミング学習中の超初心者です。

A programmer. https://github.com/shinokada

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

プログラミングが好きな高校生です。

PHP,TypeScript,Python,Symfony,Laravel,Angular,React

現在、80歳で、ボランティアとして、CoderDojo天白、ScratchDojo原、大人のスクラッチ道場などをやっており、発達児童の施設、近くの小学校にトワイライトとして月1回通っています。

F#とコーラとみもりんと橘まおさんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

Webプログラマー。作成する記事には要所に画像、関連リンクを張る、過去の記事は更新するといった配慮を行っています。又、指摘コメントや、フォローをして頂ける方にはフォロー返しさせて頂いています。

Smalltalker.

iOSアプリをいくつかリリースしてます。 既にあるサービスを組み合わせて、足りない機能のみ手作りするタイプです。 最近のお気に入りは、サーバーレスで、AWS Step Functionsが面白いと思ってます。

定理証明系や論理プログラミングに興味をもっています。

Standard ML is the best programming language, isn't it?

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.