日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。
Tokyo, Japan (会社)
IBM Research - Tokyo
Following Organizations
No Organizations you are following
Followers
- 龍矢 宇田@u_dapon
ユーザーに愛されるサービスが好きです。/ 睡眠アプリのSheep / プログラミング単語帳 / https://プログラミング.単語.jp
- tanacchi@tanacchi
自律移動ロボットやらWebやら 競プロやらハッカソンやら機械学習やら なんやかんや
- @Hitoshi5858
分散型台帳の研究開発・実装を行っているスタートアップです。
- Makita Tatsuro@kamatechworks
鎌倉を拠点に新しい技術を楽しく広める活動をしています。
@tomohataone node, one world
- @mnagaku
LC4RIの中の人。Unityも使ってるよ。
- A B@Deer_maybe
ITエンジニア 見習い。たまに書くかもしれません。
- @hi5san
このサイトにおける掲載内容はあくまで私自身の見解であり、必ずしも私の所属団体・企業における立場、戦略、意見を代表するものではありません。
- 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.
- tyee z@zaoriku0
言語： java, android, python, perl, php, cakePHP, C#, C , アセンブラ, basic, R, octave, maple, テーマ： テキストマイニング, NLP, 機械学習, MAS, 市場予測, gameプログラミング hatenaアカ： ZAORIKU
- 気が向いたら 書くかも@selious
横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です
