amaken "その問題、数理モデルが解決し..." 2025年4月6日