tanacchi

2 Contribution

/ Following users

日本IBM 東京基礎研究所 (IBM Research - Tokyo) FSS & ブロックチェーン・テクノロジー リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。 ※執筆した記事の内容は私個人の見解であり、必ずしも私が所属する会社、組織、団体の立場、戦略、意見を代表するものではありません。

趣味でプログラムを生産する自称システムディベロッパーの学生。 C++17, JavaScript, PHP, Java9, HTML5 + CSS3 を主に、趣味でプログラムを作ったりプレゼントしたりしています。

AbemaTVのエンジニアです。広告まわりをやっています。#Scala #Golang #Kubernetes

制御エンジニアです

文系学部pythonista。データをスクレイプして加工するのが好きです。機械学習 / 統計学 / 暗号通貨のアルゴリズムトレードに興味があります。コピペで実行できるコードを心がけています。

RubyKansai, naniwa.rb, DDD.rb, CoderDojo Hommachi, OSS Gate Osaka

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

Qiitaの更新はしばらくせず、Twitterから発信していこうと思います。 https://twitter.com/okamu_ro フリーランス、起業家(修行中)。 人と人が幸せになれるサービスたくさん作って今年法人化します。

サーバサイドエンジニア(Rails)やっています。

大学(院)では型システムについて研究してゐました。 今はスマートフォン用電子書籍ビューアーを作る仕事をしてゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。

FaceVTuberの作者.VTuberの講演も行っている. 基本的には,色々やってるPythonista.TypeScriptやクリーンアーキテクチャにご執心. 趣味レベルの事業開発・サービス開発も少々.

株式会社キカガク代表取締役の吉崎です。 人工知能・機械学習を初心者の方にわかりやすくお伝えするセミナーを定期的に開催しています。 独学で悩んでいる方は、ぜひ覗いてみてください。 https://www.kikagaku.co.jp/services/seminars/