アルゴリズム:Algorithms 粒子群最適化の概要と実装について
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される粒子群最適化の概要と実装について(Clojure、CAPSOS、R language、pso、pyhton、pyswarm、ニューラルネットワークのトレーニング、パラメータの最適化、組合せ最適化、ロボット制御、パターン認織)
pyhton
アルゴリズム:Algorithms プログラミング言語:Programming Language 保護中: Pythonでのmypyを使った静的型チェック
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクのベースとなるプログラミング技術としてのPyhtonでのmypyを使った静的型チェック(Protocol、Class、継承関係、Structural subtyping、Nominal subtyping、型ヒント、型チェック、型アノテーション、動的型付け言語、静的型付け言語、漸進的型付け)
プログラミング言語:Programming Language プログラミングにおける静的型付け/動的型付け言語の違い
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用されるプログラミングにおける静的型付け/動的型付け言語の違い(Haskell、Scala、Java、型推論、JSON、自動単体テスト、コンパイル、アジャイル開発、ウォーターフォール開発、データ構造、インターフェース、メソッドシグニチャ、可読性、Ruby、記述容易性、実行速度、高速化、C、C++、Pyhton)
推論技術:inference Technology 命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクにに活用される命題論理の充足可能性判定問題(SAT:Boolean SAtisfiability)の概要と実装(Clojure Rollingstones、Pyhton、PySAT、z3-solver、C++、2-SAT、ゲームAI、自然言語処理の高速化、組合せ最適化問題の効率化、ハイパーパラメータの最適化、コンピュータセキュリティ、ソフトウェア仕様の自動検証、チップ設計の自動検証、zChaff、WalkSAT、GRASP、CryptoMiniSat、MapleSAT、Scavel、PicoSAT、MiniSAT、CaDiCaL、Lingeling、Glucose、Ｐ≠ＮＰ予想、論理問題)
アルゴリズム:Algorithms 保護中: 強化学習に対するニューラルネットワークの適用 戦略をパラメータを持った関数で実装するPolicy Gradient
デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクに活用される強化学習に対するニューラルネットワークの適用 戦略をパラメータを持った関数で実装するPolicy Gradient(割引現在価値、戦略更新、tensorflow、Keras、CartPole、ACER、Actor Critoc with Experience Replay、Off-Policy Actor Critic、behaviour policy、Deterministic Policy Gradient、DPG、DDPG、Experience Replay、Bellman Equation、方策勾配法、行動履歴)
音楽:Music 数学と音楽とコンピューター
数学と音楽とコンピューター(アルゴレイブ、live-coding、supercollider、シンセサイザー、overtone、Clojure、pyhton、FoxDot、ジェネレーティブアート)
python 保護中: pythonとKerasによるテキストとシーケンスのためのDNN(3)リカレントニューラルネットワークの高度な使い方(GRU)
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるpyhton/kerasによるシーケンスデータのGRUによる分析とリカレントドロップアウト、リカレント層のスタッキングによる改善
python 保護中: PythonとKerasによるコンピュータービジョンのためのディープラーニング(2)少量のデータを使ったCNNのデータ拡張による改善
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに用いられるpyhton/Kerasによる少量データのCNNを改善する手法(データ拡張による過学習の改善)
python 保護中: PythonとKerasによるコンピュータービジョンのためのディープラーニング(1)-畳み込みとプーリング
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される深層学習を用いた画像認識へのpyhton/keras/CNNでの畳み込みとプーリングの概要
python 保護中: PythonとKerasによるディープラーニングの入門 (2) 実際の適用例(1)テキストデータの2クラス分類
デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用されるpythonのkerasによるテキスト情報の二値分類のDNN実装