[B] 数理モデル / 数値計算

29-1. 論理プログラミング言語「Prolog」（その１：ファクトとクエリをPythonで再現してみた）

概要 Prolog（ぷろろぐ）は論理プログラミング言語の一つで、データの性質や関係を「命題」として記述することで、問い合わせに対して論理的な答えを導き出してくれます。例えば、ピ...

2021/11/27

Yasuda

数理モデル / 論理

16-23. オンライン会議ツールは何部屋契約すれば足りるか

やること ZoomやWherebyといったオンライン会議ツールの法人契約に際して、「何部屋契約すれば足りるか分からない」という依頼がありました。例えば社員100人で毎週数百のミーティングが発生...

2021/10/23

Yasuda

[H] 小ネタ / 検証数値シミュレーション

5-11. レコメンドシステムではなぜユークリッド距離ではなくコサイン類似度が用いられるのか

概要２つのデータがどれくらい似ているかを知るには「距離」を調べます。ユークリッド距離はもっとも基本的な距離の一つです。一方でコサイン類似度というものもあり、レコメンドシステムや機械学習アルゴ...

2021/09/05

Taniguchi

[H] 小ネタ / 検証数理モデル / 論理

5-10. マッチ棒クイズの自動生成

やることマッチ棒クイズ（マッチ棒パズル）はご存知でしょうか。「マッチ棒を１本動かして式を完成させてください」といった問題です。もっとも基本的なものは１桁の足し算・引き算です。問題...

2021/03/25

Yasuda

数理モデル / 論理

16-16. ポケモンの高さと重さを調べてみたら何かおかしかった

やること『ポケットモンスター Let's Go! ピカチュウ』皆さんはやっていますでしょうか。私は色違いポケモンが欲しくて、いつのまにか大量にポケモンを捕まえていました。ピカブイ版で...

2020/11/19

Taniguchi

[H] 小ネタ / 検証数理モデル / 論理

17-12. チューリング・パターンを応用して一筆書きパズル（Fillパズル）を解いてみた

やること以前書いたチューリング・パターンの記事の閲覧数が地味に伸びています。記事中の「線の生成」を見ていたら、何かひらめきました。 ...

2020/10/30

Yasuda

人工生命 / ライフゲーム

5-9. 多項式近似や深層学習よりも数理モデルが適している例

やること「Deepでポン」という表現を耳にしました。調べても定義が見つからなかったので私なりに定義してみます（間違っていたらご指摘ください・・・）。「Deepでポン」は「とりあえずD...

2020/09/08

Yasuda

回帰 / クラス分類数理モデル / 論理

16-10. ミルクボーイのネタをグラフ構造で可視化してみた

やることお笑いコンビ「ミルクボーイ」のネタにはパターンがありそうなので、グラフ構造で可視化してみましょう。参考文献ミルクボーイは、2019年M-1グランプリ優勝のお笑いコンビ...

2020/07/13

Yasuda

[H] 小ネタ / 検証数理モデル / 論理

17-11. セルオートマトンで氷の剣山「ペニテンテ」をシミュレーションしてみた

やることペニテンテ（Penitentes）は、アンデス山脈などで見られる、地面から雪や氷がニョキニョキ生えてるー！的な自然現象です。地面から生えるのではなく雪が融ける...

2020/06/27

Yasuda

人工生命 / ライフゲーム

5-8. ２階の微分方程式のルンゲクッタ法をマスターして人工衛星の軌道をシミュレーションする

やること１階の微分方程式のルンゲクッタ法については5-1～5-3で説明し、5-7で実装しました。しかし、人工衛星の軌跡のシミュレーショ...

2020/06/21

Yasuda

数値シミュレーション