LoginSignup

Kenta Inoue

@nekonibox

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

Following Organizations

No Organizations you are following

Following tags

No tags you are following

Followers

  • @tenmyo

    python-doc-jaで少し翻訳してます。組み込み系出身です。DeveloperExperienceや品質、コンプライアンス(ライセンス等の知財権尊重や利用者保護)に興味があります。 別途記載無い場合、投稿記事内の長ーいコードはzlibライセンスやBoostライセンスでご利用できます。短いコードは著作権を主張できないと考えてますのでご自由にどうぞ。

  • Shinichiro Ohno@shnchr

    機械学習と数理最適化、時々、量子コンピュータ 最近は、エンジニアとマネージャの重ね合わせ。 「事例で学ぶ特徴量エンジニアリング」(オライリー・ジャパン)の翻訳、監訳も担当。

  • yasunori matuki@ochimusha01

    数理初学者の自習用サイトです。

  • 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.

  • Atsuki Komuro@eve1224

    自分でモノづくりをしたいという思いから2020年4月より未経験ながらscalaエンジニアとして就職しました。ただいま基礎学習に勤しんでおります。学びをアウトプットしていきたいと考えております。もし至らない部分がありましたらご教授いただけると幸いです。

  • Defour@Defour

    半導体材料専門のD2です。学振特別研究員DC1。pythonでのデータ分析と競プロを最近始めました。

  • @gyu-don

    来世はパンダになりたい。

1 / 1