matchaism "数学ガール（乱択アルゴリズム..." 1900年1月1日