構造的部分型と有界量化に関する型推論likers
- Dr. Kiyoshi Ogawa@kaizen_nagoya
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.
- ほのぼの さん@honobonosun
主にHSP3でいろいろ作ってます。
- @norkron
記事に対して疑問や不明があればコメントやツイッターへお気軽にどうぞ。
- 見習いさん@minarai
WEB系の開発経験が豊富です。 バックエンドが得意です。 PHP、Python、SQL、GraphQL、Lambda、Docker、Vagrant、マイクロサービス、AWS、GCP 休日に機械学習のお勉強を始めましたよ
- aiy000 あいや@aiya000
にっこにっこにー🤟😌🤟 フロントエンドを専門に活動をしています! フロントエンド以外もできるよ! TypeScript/Haskell/静的型システム/Neovim🪬 技術の最新動向追います👀 圏論の数学書執筆したよ📝
- Tomoya Chiba@tomoasleep
Qiita Inc. のソフトウェアエンジニアです。いろんな黒魔法を適度に使いつつ、念じるだけでソフトウェアが作れる世の中を夢見ています。
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
- Hiroshi Kikuchi@kikuchy
FlutterやiOS、Androidのアプリ作ったりして生きています