難問 - 井畑氏からの質問の問題



目次へ

井畑氏から質問された数独の問題を Mathematica で解いた。

SUDOKUWiKI.ORG を参考にした。解き方の定石が書いてあります。

The Logic of Sudoku

問題の出典:  

www.sudokugame.org

問題 - most

f:id:MMAys:20171029205747p:plain

候補図

f:id:MMAys:20171029205814p:plain

Step by step の解答

このパズルは NakedSingle (裸のシングル)、Hidden Single (隠れたシングル)と Naked Pairs を使って答えが求まる。

この表の1番目の手順が意味することは Naked Singleを探した結果、3行1列に 1を入れる。以下同様にして 計19回の手順を解けない配置に至る。

f:id:MMAys:20171029205832p:plain

手順 16 の Naked Pairs の説明

Naked Pairs の説明は SUDOKUWIKI.ORG の Naked Candidates に載っている。

f:id:MMAys:20171029223136p:plain

手順 17 の Naked Pairs の説明

f:id:MMAys:20171029223148p:plain

手順 18 の Naked Pairs の説明

f:id:MMAys:20171029223158p:plain

手順 19 の Naked Pairs の説明

f:id:MMAys:20171029223228p:plain

手順1 から 19 までのアニメーション

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

手順 20 の 候補の図

f:id:MMAys:20171029212142p:plain

Simple Coloring の定石

Simple Coloring の説明は SUDOKUWIKI.ORG の Single's Chains に載っている。

3 について共役ペア( conjugate pair ) を探し図に示す。3行2列の 3 と 3行7列の 3 が共役ペアになっている。3 の全ての共役ペアを探すと8個が見つかる。図に赤と緑の丸で描き入れてある。ただし赤と緑色は交互に色分けしてある。

f:id:MMAys:20171029213712p:plain

{4,7}番地の3 が緑で {7,7}番地の3 が緑なので緑色の3 を削除できる。削除されるべき 3 は次の5個である。 {4,7}番地の 3 を {3,{4,7}} と表記すれば次のようにリストで表記できる。

{{3,{4,7}}, {3,{6,3}}, {3,{6,3}}, {{3,{7,7}}, {3,{9,2}}}
f:id:MMAys:20171029213732p:plain

手順 21 の図

f:id:MMAys:20171029215336p:plain

手順 21 の候補の図

f:id:MMAys:20171029215354p:plain

手順 21 以降 の step by step の解答

f:id:MMAys:20171029215411p:plain

手順 21 以降のアニメーション

次をクリックして解答のアニメーションを見ることができる。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

今後の課題

  • Simple Coloring 定石を使って解くことができた。この定石のアルゴリズムのプログラムを作ることが課題です。
  • Simple Coloring の定石は Simple Chains とも呼ばれる。共役ペアの繋がり(チェイン)を解析して解く方法なので、繋がりを表現するために Mathematica のグラフ( Graph ) オブジェクトを使うことを試みている。
  • Sudoku を行列( Matrix ) を使って表現してきたがグラフの表現に変換することによりグラフの特性を調べる関数を利用できる。

備考:

  • 今回は、最新版の Mathematica 11.2 を使った。Wolfram Cloud で Manipulate に インクレメントボタン+ を使えるようになった。改善が進んでいることを確認した。
  • Wolfram Cloud 環境が整備され Manipulate の不具合が劇的に改善された。

目次へ

Q195 - 井畑氏からの質問の問題


目次へ

井畑氏から質問された数独の問題を Mathematica で解いた。

SUDOKUWiKI.ORG を参考にした。解き方の定石が書いてあります。

The Logic of Sudoku

問題の出典: 

Q195、ナンプレ全314問 実力検定 2017,9月号、(準1級)197ページ、ふじいしのぶ著、コスミック出版

問題 - Q195

f:id:MMAys:20171021160928p:plain

候補図

f:id:MMAys:20171021160950p:plain

Step by step の解答

このパズルは NakedSingle (裸のシングル)、Hidden Single (隠れたシングル)と Naked Pairs を使って答えが求まる。

この表の1番目の手順が意味することは Naked Singleを探した結果、1行7列に 7を入れ、4行7列に 9を入れ、7行9列に 1を入れる。以下同様にして 計24回の手順を経て完成に至る。

f:id:MMAys:20171021161015p:plain

手順 15 の Naked Pairs の説明

Naked Pairs の説明は SUDOKUWIKI.ORG の Naked Candidates に載っている。

  • 第2行1列と3行1列にグリーンで示す Naked Pair の {5,9} がある。この2つのマスの片方に5が入れば他方には9 が入ることになる。従って第1 BOX の他のマスにある5と9 を削除できる。結果的に 番地{2,2} の 5 と番地{3,2} にある 5 を削除できる。
  • 7列の Naked Pair {5,6} については削除すべきものは無い。
f:id:MMAys:20171021161031p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-1 ]  図中の kk の右にある四角をクリックするとポップアップメニューが現れ手順の数が表示される。それを選択して手順を進める。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

  • 今回は、最新版の Mathematica 11.2 を使った。Wolfram Cloud で Manipulate に インクレメントボタン+ を使えるようになった。改善が進んでいることを確認した。
  • Wolfram Cloud 環境が整備され Manipulate の不具合が劇的に改善された。

目次へ

目次 : アラカルト - Sudokuを Mathematica で解く - 2017

目次へ

目次へ

Q194 - 井畑氏からの質問の問題


目次へ

井畑氏から質問された数独の問題を Mathematica で解いた。

SUDOKUWiKI.ORG を参考にした。解き方の定石が書いてあります。

The Logic of Sudoku

問題の出典: 

Q194、ナンプレ全314問 実力検定 2017,9月号、(準1級)197ページ、ふじいしのぶ著、コスミック出版

問題 - Q194

f:id:MMAys:20171019220021p:plain

候補図

f:id:MMAys:20171019220054p:plain

Step by step の解答

このパズルは NakedSingle (裸のシングル)、Hidden Single (隠れたシングル)と Naked Pairs と PointingPairs を使って答えが求まる。

この表の1番目の手順が意味することは Naked Singleを探した結果、3行1列に 7を入れ、7行9列に 3を入れる。以下同様にして 計33回の手順を経て完成に至る。

f:id:MMAys:20171019220037p:plain

手順 5 の Naked Pairs の説明

Naked Pairs の説明は SUDOKUWIKI.ORG の Naked Candidates に載っている。

  • 第6行5列と6行9列にグリーンで示す Naked Pair の {3,8} がある。この2つのマスの片方に3が入れば他方には8 が入ることになる。従って6行の他のマスにある3と8 を削除できる。結果的に {6,1} の3 と{6,3} にある3と8 が削除できる。
f:id:MMAys:20171019220109p:plain

手順 6 の Pointing Pairs の説明

Pointing Pairs の説明は SUDOKUWIKI.ORG の Pointing Pairs に載っている。

  • 第4 BOX の中で 8 が入っているマスは {4,2}と{4,3}である。このどちらかに 8 が入ることになるので、4行の他のマスには 8 が入ることができない。従って、4行の7列と8列にある 8 は削除できる。
  • 第5 BOX の5行の {5,4}と{5,6} に 7 がある。従って5行の他のマスにある7 を削除できる。結果として{5,1} の7が削除できる。
  • 第8 BOX の6列の {8,6}と{9,6} に 2 がある。従って6列の他のマスにある2 を削除できる。結果として{2,6} の2が削除できる。
  • 第9 BOX の 9列の {8,9}と{9,9} に 5 がある。従って9列の他のマスにある 5 を削除できる。結果として{2,9} の 5が削除できる。
f:id:MMAys:20171019220121p:plain

解答のアニメーション、CloudCDF を使っての表示

次をクリックして解答のアニメーションを見ることができる。

[ テスト-1 ]  図中の kk の右にある四角をクリックするとポップアップメニューが現れ手順の数が表示される。それを選択して手順を進める。

[ テスト-2:  Button ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは kkk = 1 , i = 0 になり図は変化しない。2回目のクリックで kkk = 2 , i = 1 になり図が変化する。これを繰り返して手順を進める。

[ テスト-4:  Animator ]  + をクリックすれば次の手順に行くことができる。1回目のクリックでは  i = 0 になり図は変化しない。2回目のクリックで  i = 1 になり図が変化する。これを繰り返して手順を進める。

備考:

  • 今回は、最新版の Mathematica 11.2 を使った。Wolfram Cloud で Manipulate に インクレメントボタン+ を使えるようになった。改善が進んでいることを確認した。
  • Wolfram Cloud 環境が整備され Manipulate の不具合が劇的に改善された。

目次へ

ひまわりプロジェクト - Solar Tracking - sys11

目次へ

Solar Tracking

目 標

  • 南北の傾斜角度を手動で 10度から60度まで変えることができる。
  • 自動でパネルを太陽光追跡させる。
f:id:MMAys:20171018105936j:plain  f:id:MMAys:20171018110151j:plain

 傾斜角の変更は車のジャッキ2台を使用し枕木を調整して行っている。角度を固定するためストッパー(ワールドダクタ)を使用している。

f:id:MMAys:20171018110003j:plain

 パネルをバネでバランスをとり、ワイヤを引っ張ることにより回転させる。ワイヤを緩めれば東向きになるようにしている。滑車の原理で力の調整を行っている。

f:id:MMAys:20171018110045j:plain

 電動シリンダーの伸びでワイヤを引っ張り西向きになる。シリンダーを縮めるとワイヤが緩みバネの力で東向きになる。シリンダーの伸びの長さとワイヤの引っ張る長さとの調整は梃子を使って行っている。

f:id:MMAys:20171018110235j:plain

今後の課題

  • 現在のところ順調に太陽を追跡している。
  • パネルを縦長に置いているが、多少の調整で横に2個載せることができる。パネルの面積を2倍にすることが当面の課題である。

目次へ

 

 

EPEVER Tracer4210A でログデータをダウンロードする | eLOG01-Logger

目 次へ

  • チャージコントローラー EPEVER Tracer4210A を使用して、リアルタイムモニターを実行することができた。
  • グラフをスクリーンショットすれば記録ができる。
  • 次にログデータを PC に保存することを試みたが成功しない。
  • EPEVER 社に問い合わせたところ eLOG01-Logger を使えば可能であることを教えていただいた。
f:id:MMAys:20170911083350p:plain

f:id:MMAys:20170913070856p:plain

f:id:MMAys:20170913064746p:plain

eLog01-Logger の購入について

  • Amazon.com で見つかったが日本の住所には発送ができないので購入できない。
  • eLog01-Logger
  • This item does not ship to Utsunomiya, Japan. Please check other sellers who may ship internationally.
  • Sorry, this item can't be shipped to your selected address.
  • Amazon.co.jp で探したがみつからない。
  • eBay.com で探したがみつからない。

eLOG01-Logger を購入する場所

 EPEVER に問い合わせてたところ教えてくれた。AliExpress.com に EPSOLAR の製品が勢揃いしている。日本への送料が無料です。

eLog01-Logger | AliExpress.com

目 次へ

新しいチャージ・コントローラー EPEVER Tracer4210A に交換した - sys1 - 2017/09/09

 

目 次へ

チャージ・コントローラー EPEVER Tracer4210A には通信ポート RS-485 port を備えている。これを通して接続できる装置のオプションがある。

  1. リモートメータ MT-5
  2. eBox-BLE-01 - RS485 to Bluetooth Adapter
  3. eBox-WIFI-01 - WIFI Serial Server
  4. PC monitoring setting software "Solar Station Monitor"
f:id:MMAys:20170911083350p:plain
Tracer4210A

ソフトウェアをダウンロードする URL

Home > Technical support > Download

f:id:MMAys:20170910205105p:plain

1. リモートメータ MT-5

2. eBox-BLE-01 - RS485 to Bluetooth Adapter

Android APP for solar charge controller をインストールして現れた画面を次に示す。パラメータ設定やリアルタイムモニタリングができる。

f:id:MMAys:20170910211906p:plain    f:id:MMAys:20170910211918p:plain
f:id:MMAys:20170910211930p:plain

3. eBox-WIFI-01 - WIFI Serial Server

 アプリは Bluetooth と共通です。

4. PC monitoring setting software "Solar Station Monitor"

  • PC software for the Solar Charge Controller の更新日は 2017-09-07 で最近である。
  • これを Windows 10 32bit と 64 bit の PC にインストールした。
  • 本体に付属していた PC communication cable - CC-USB-RS485-150U を使ってPCに接続した。
  • 表示された画面のスクリーンショットを以下に載せる。パネル、バッテリーとロードの電圧、電流と電力のグラフです。
電圧のリアルタイムカーブ
f:id:MMAys:20170911085451p:plain
電流のリアルタイムカーブ
f:id:MMAys:20170911085514p:plain
電力のリアルタイムカーブ
f:id:MMAys:20170911085540p:plain

まとめ

  • eBox-BLE-01 - RS485 to Bluetooth Adapter - 正常に動いた。
  • eBox-WIFI-01 - WIFI Serial Server - 正常に動いた。
  • PC monitoring setting software "Solar Station Monitor"
    • Windows 10 32bit では正常に動いた。
    • Windows 10 64 bit では log data を csv にダウウンロードできない不具合がある。 会社 EPEVER にバグ報告した。返事を待っている。

目次へ