TweetAZUREソリューション部の土田です。Cordaのサポートが予定されています。検討用資料として、基本的な情報をまとめておきます。この情報は2018年10月現在の情報です。TweetAZUREソリューション部の土田です。ブロックチェーン上にサービスを構築する場合、秘密鍵の管理は重要な要素です。現状、ユーザーに秘密鍵を生成してもらい、各自で安全に管理してもらうといった方式は、現実的ではない場合が多いです。何らかの手段で、秘密鍵を管理する必要があります。Vaultを使用した管理方法を紹介します。AZUREソリューション部の土田です。Workbenchをテスト運用する上で、調査・研究した内容を随時公開していきます。今回は、テスト環境を運用するのに必要な料金について共有します。予算感の参考になれば幸いです。書かれてあり、恵存とは本などにサインするときに使われる言葉で、「お手元に保存していただければ幸い」(デジタル大辞泉)という謙譲語である。実は、村上雅人著作本にサインをいただいたのだのだが、村上雅人って誰だか知っている人は少ない気がする。今回は、この人の本について書く。ところで、最近やたらと数学、そしてちょっと物理学が流行っている気がする。いう、数学の狂った祭典が六本木の地下で夜を徹して行われ、それに付き合ったのだが、満員御礼の人気なのである。数学、物理学というと、理工系大学ではだいたい必須の科目であり、そのための書籍も多数でている。以前、そういう分野の本としてマセマを紹介した。プログラミングに数学はどのくらい必要かプログラミングに物理はどのくらい必要かマセマは、まるで受験参考書のような書き方で説明や演習が載っていていて、これで勉強すれば単位は取れるという謳い文句の参考書である。大人になってから読むには、どうも受験や定期試験を思い出させるのでよろしくない。Tweet今回は、280合体ナンプレの問題としての正当性について書く。ギネス世界記録TMとして認めてもらうには、当然問題の正当性が保証されないといけない。その中でも面倒なのが、解の一意性(ユニーク性)である。「ルールを満たす解が存在し、その数は1つだけである」これは、ギネス世界記録TMだけでなく、普通にナンプレ本、ナンプレ雑誌などに載る問題でも当然保証しなければいけない事で、問題を作ったプログラムの中に、そういう検証も含まれている。パズルを作ったプログラムで、ユニーク性を確認しても、それは保証にはならないだろう。公式記録となるためには、第三者がユニーク性を確認しなければいけない。方法としては、まあ色々あり、検討された。人間であり、280合体ナンプレをノーミスで解くのは神でも無い限り無理だろう。人間が無理なら、プログラムで解くことになる。第三者のプログラムで280合体を解けるプログラムが存在するかどうかよく分からない。誰かに頼んでプログラムを作ってもらうのは可能かもしれないが、こういうのをホイホイ作るようなプログラマとは何らかの関係があったりして第三者として認められない。標準の9x9のナンプレ問題を解くプログラムでよく使われる、ルールと手筋を実装して調べるのでは、問題を自動生成するプログラムに使われている方法と本質的な差がなく、正当性の検証には無理がある。Tweet280合体が完成するかどうかなかなか事前に予想ができなかった。2018を見てもらえばわかるのだが、全部で32時間30分もあるので大変かもしれない。いうことで、ここで手短に説明する。いう巨大な合体ナンプレは、問題の難易度よりも、どれだけのレベルの人が、どのくらい解き続けるかの影響が圧倒的に多いので、とても難しい。結果は、ちゃんと完成して、ニコニコの動画はこんな感じになった。32:15:5732時間より前に完成したのだが、1マスだけ残していて、ギネス記録達成の式典の直前に、最後の1マスを書き込んで完成しときのニコニコの画面が上である。POWERでは、昨年247合体がフィナーレまでに終わらなくて、少々延長して何とか終わらせたので、ちゃんと時間内に終わらせるようにしようというのがあった。今回は、ギネス世界記録TMを狙うというのもあった。今までの合体ナンプレ(マルチ数独)の記録は、2015年の中国で樹立されたもので、去年の時点で既に世界記録だったのだが、今年はちゃんとギネス世界記録TMを狙おうという魂胆があったのだ。時間内に終わる、200合体を超えれば良い、という条件だけで問題を作るのは、問題作成者および参加者のモチベーションが上がらない。それで、次のようにした。貼りだす壁の大きさの報告を受け、さまざまな条件を考慮し、280合体にした。PDF版、Excel版も用意した。良いプリンタがあれば印刷できると思う。ドキュメントの未来」というテーマで発表しました。主要メンテナとしても活動しています。検索このアーカイブについてこのページには、2018年10月に書かれたブログ記事が新しい順に公開されています。前のアーカイブは2018年9月です。次のアーカイブは2018年11月です。最近のコンテンツはインデックスページで見られます。過去に書かれたものはアーカイブのページで見られます。