個人情報

当社での個人情報の取り扱いは以下のポリシーに従って行われます。(2016年5月10日)

AI・情報処理

  • ディープラーニング
  • カーネル多変量解析
  • ベイズ統計
  • 強化学習
  • 遺伝アルゴリズム (GA)
  • 時系列解析 (線形過程、状態空間モデル)
  • 画像処理
  • 信号処理

形式手法

  • モデル検査 (SPIN、SMVなど)
  • (UPPAAL)
  • 自動定理証明 (Event-Bなど)
  • (VDMなど)
  • Concolic

科学技術計算

  • 偏微分方程式の数値解法
    (差分法、有限要素法、境界要素法、有限体積法)
  • 流体解析
  • 形状最適化
  • 組合せ最適化

IoT

  • BLE、LPWA、HTTP 通信
  • 携帯端末、マイコン+センサ、Webサーバ、DB
  • (モバイル) エージェント

開発言語

  • Java (Android 含む)
  • Swift (iOS 含む)
  • Python
  • C
  • C++
  • C# (△)
  • Fortran(△)、Matlab
  • Lisp、CAML