nekoniboxさんの記事
(他のnekoniboxさんの記事をQiitaで読む )
2022年 |
はてブ数 | ||
---|---|---|---|
1 |
プロ野球の「現役ドラフト」アルゴリズムの問題点と、それらを改善した全てのチームがwin-winになることが保証されるアルゴリズムを提案する
|
0 |
2021年 |
はてブ数 | ||
---|---|---|---|
1 |
ある証券会社の証券用語の解説に仕様バグが存在することを形式検証によって発見した話
|
1 | |
2 |
婚活パーティのカップリングアルゴリズムの正しさをCoq/SSReflectで形式検証する
|
0 | |
3 |
株式の取引と売買価格を決定する板寄せアルゴリズムをCoq/SSReflectで形式検証する
|
0 |
2020年 |
はてブ数 | ||
---|---|---|---|
1 |
中間層数を増やすとむしろ表現能力が減ってしまう?ニューラルネットワークの理論論文について解説する
|
0 |