いわいまさかチャンネル

30/6/2019

映画

映画：ゴジラキング・オブ・モンスターズ

いわいまさか
at 2019/6/30 10:11:01

ゴジラを観た。2019/06/29 12:00 新宿TOHOシネマズ
タイトルはゴジラキング・オブ・モンスターズだった。映画を観たよという記事なので、それはそれネタバレ。
・バットマンビギンズのラーズ・アル・グールがヴィランとかいいつつ、肩透かし。前回（キングコングも入れると前々回）のGODZILLAもまずまずだったところ。渡辺謙さんが今回はとても、活躍するのだった。・今回のゴジラは、決して器量よ…

続きはこちら

コメント (0)
トラックバック (0)

24/6/2019

映画

映画：メン・イン・ブラック:インターナショナル

いわいまさか
at 2019/6/24 08:59:49

イオンシネマ港北ニュータウンはセンター北にある。駅名がついてない映画館は、もう一回、検索をかけないといけないのでめんどくさいのだった。ちなみに、109シネマズ港北はセンター南にある。
メン・イン・ブラック:インターナショナルを観た。2019/06/23(日）19:20～映画のことについて書くので、どうしてもネタバレ注意。
原題もMen in Black: Internationalだった。
ポイントだけ…

続きはこちら

コメント (0)
トラックバック (0)

16/6/2019

プログラム

整数計画ソルバーで唯一解判定その２

いわいまさか
at 2019/6/16 19:59:06

前回の記事からのつづき
問題：　自然数の２個の和で５を表す。　使う自然数は違うもの。
という問題を解くためのLPはこれ。

sum5.lp
a君用に・・・
a1 a2 a3 a4 a5 は和に１を使うか、２を使うか、３を使うかというbinary変数（bool変数）…

続きはこちら

コメント (0)
トラックバック (0)

プログラム

整数計画ソルバーで唯一解判定その1

いわいまさか
at 2019/6/16 10:08:58

整数計画ソルバーでパズル（的なもの）の唯一解判定に関して、いままで、自分の作戦では。
①LPを書いて答えを出す。②もとのLPに対して①の答えを禁じた条件を追加したものを書き、答えを出す。「①が解ありで、②で解なしだと、唯一解だ」という作戦を使っていた。
これだと、LPを2回解くことになり、つまり、2回目で同じ計算をまた解かせるので、もったいなさそうなのだった。
今回、LP１回分で、解なし、唯一解、複数解…

続きはこちら

コメント (0)
トラックバック (0)

7/6/2019

パズル

パズル全般 |

三ケタ×三ケタを整数計画ソルバーでその３

いわいまさか
at 2019/6/07 01:13:24

その１その２の記事は、三ケタ×三ケタを整数計画ソルバーでその１三ケタ×三ケタを整数計画ソルバーで　その２ということで問題を作ってみる。
来年は2020年の令和2年なのでそのあたりに絡めて
・・・□□□×・・□□２――――――・・？□０□・？□２□・？□０□・・――――――？２□□□□
みたいな形を狙ってみる。
解がいっぱい出るようだったので、もう１個２を表出させ、桁を調整した。ソルバーにかけて、唯一解で…

続きはこちら

コメント (0)
トラックバック (0)

5/6/2019

プログラム

三ケタ×三ケタを整数計画ソルバーで　その２

いわいまさか
at 2019/6/05 19:08:57

先日、パズル懇話会で、「整数計画ソルバーで碁石ひろい」を解いたことを発表した。その後のコメントで「整数計画ソルバーで虫食算や覆面算は解けるか」を聞かれた。それをうけてやってみみた。その１の内容はこちら　三ケタ×三ケタを整数計画ソルバーで
その内容を全部つめこんだLPファイルがこちら。

mul3x3.lp
頭のケタの０チェックをやっていないので、このままソルバーにかけると、000 x 000 = 000…

続きはこちら

コメント (0)
トラックバック (0)

プログラム

パズル全般 |

三ケタ×三ケタを整数計画ソルバーでその１

いわいまさか
at 2019/6/05 01:37:16

虫食算や覆面算に関連して三ケタ×三ケタの筆算を数字で埋めてみようということで。それを整数計画ソルバーで解くためにそれようの不等式・等式に直す。
・・・□□□×・・□□□――――――・・□□□□・□□□□□□□□――――――□□□□□□
・・・ＡＢＣ×・・ＤＥＦ――――――・・ＧＨＩＪ・ＫＬＭＮＯＰＱＲ――――――ＳＴＵＶＷＸ
２４文字でアルファベットにも入って手ごろなサイズ。
①一つの文字に関して0～9の…

続きはこちら