羽生先生、谷川先生、渡辺先生などは名前を冠したゲームを出しているけど、森内先生はないのかな？