ビクトリア 三鷹第一原理計算pythonラビアンローズ吉