詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト
将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出
OM-1 II Mark II は単なる風景・動物用と分類するのはもったいないカメラ
2023年10月1日 施行の景品表示法による消費者庁 規制対象（通称:ステマ規制）にならないよう、配慮して記事を作成しています。ブログ内の製品紹介・レビューは基本的に管理人が誰からの指示もなく作成したものです。もしも第三者から内容に指示があれば記事内で明記します。また、問題のある表現がありましたら、問い合わせよりご連絡いただければ幸いです。アフィリエイトリンクを通じて製品を購入することで手数料が得られ、当ブログの編集者が独自の判断で製品を選び、テスト・レビューすることができます。 参考：令和5年10月1日からステルスマーケティングは景品表示法違反となります。 | 消費者庁 Digital Camera WorldがOMデジタル「OM SYSTEM OM-1 II Mark II」のレビューを公開。優れたISO感度・ダイナミックレンジを備え、AF性能は大幅に改善していると高く評価。単なる風景
6年前、VTuberを選ばなかった私たちの現在｜えのぐ
VTuberを選ばなかった私たち皆さまはVRアイドル「えのぐ」をご存知でしょうか。 私たちは2017年に活動を開始し、今年の3月で活動8年目 / グループを結成して7年目を迎えた、バーチャル空間を拠点にライブや音楽活動をおこなうバーチャルアイドルグループです。 活動を開始した2017年の年末にキズナアイさまを中心とした「バーチャルYouTuber（VTuber）ブーム」が到来し、当時バーチャルで活動していた方々がその波に乗ってYouTubeチャンネル登録者数やSNSフォロワー数を大幅に伸ばす一方で ── 私たちは「VRアイドル」を名乗り続けたことでそのカテゴリに入ることができず、検索エンジンにもひっかからず、後から活動を開始した方々にもことごとく数字で追い抜かれていきました。 当時、私たちを応援してくださっていたファンの皆さまからも「なぜバーチャルYouTuberを名乗らないのか」「変なプ
すがやみつる先生が生成AIを使ったことでAIを憂う人たちから大量の質問が殺到する→質問に丁寧に返答、ベテラン漫画家が話す「模倣について」の考え方がためになる
すがやみつる @msugaya 私も試してみました。プロンプトは、以下のとおりです。 ＊＊＊＊＊ 『ゲームセンターあらし』というタイトルのマンガがありますが、このマンガに関係なく、タイトルだけのイメージから、美少女がゲームセンターで激しくゲームをプレイする絵を、マンガタッチで描いてください。 ＊＊＊＊＊ こちらの方が年齢が高そうですね(^_^)。 ChatGPT経由でDALL-E3に描いてもらいました。 2024-04-30 22:26:48 ジロー @i9r82k こんこんばんばん 本日夜便は、ゲームセンターあらしより「ゲームセンターあらし」です ゲーセンというか、カラオケじゃないか？ 黒髪ショートカットって意外に珍しい気がする なんか悪友というか、腹を割って話せる関係っぽい感じがします ＃画像生成AI ＃美少女 pic.twitter.com/8SF9NJb1QR 2024-04-30
立憲民主党から刑事告訴され、当方弁護士が検察と意見交換する等弁護活動を続けていましたが、私は不起訴となりました。その経緯をまとめました。｜パンパカ工務店
立憲民主党から刑事告訴され、当方弁護士が検察と意見交換する等弁護活動を続けていましたが、私は不起訴となりました。その経緯をまとめました。 １ はじめに この度、公党であり、野党第一党でもある立憲民主党から名誉毀損として刑事告訴を受け、世間様をお騒がせした事で多くの方々にご迷惑をお掛けしました。捜査関係の方々、プロバイダー、各サイトの運営の方々、無駄な税金を使わせた納税者の方々、大変申し訳ございませんでした。 今回の弁護士費用の為に、たくさんの寄付を頂いた皆様、本当にありがとうございました。弁護士が居ない状況だと、大変な事になっておりました。動画やSNSで、ご寄付のお願いと、公党が国民を刑事告訴した件を拡散して下さったインフルエンサーの皆様、日々励ましのコメントを頂いた皆様、心から感謝しております。 今まであった事を、ざっくりと書いてみます。 ２ 経過 2022年5月30日でTwitter(
白く曇った通称白濁化したCDを読み取れるようにする - 人生に疲れた男のblog
CD2枚が付録としている1998年に発売された雑誌があるのだが、未開封品にもかかわらずその付録CD2枚とも読み取り面が白く曇ってしまう通称白濁化が発生していた。拭き取っても白い部分は残ったままで、イメージ化しようと読み取ろうとすると途中でエラーを吐いてしまう。 とある方が購入した同じものも同様に劣化が進んでいたとのことで、偶然不良品だったというわけじゃなく元々の製造品質が悪く25年の歳月でこのようになってしまったと思われるが、レーベル面の反射層が剥がれたCDでもアルミテープで補正できちゃったりするので、白濁化でもなんとか改善できないか挑戦。 そもそもこの白濁化現象、CDのポリカーボネートが空気中の水分を吸ったことによる化学変化、アルミニウムの錆、などと発生原因は様々な理由が考えられるがはっきりとした原因はわからないようで、上記の様な理由じゃなく今回のCDは反射層と保護層の接着剤の質が悪く剥
美容医療の世界に転じる専門医の増加は何を意味しているのか？形骸化し始めた日本の専門医制度（JBpress） - Yahoo!ニュース
韓国で起きている研修医ストの背景には、韓国の医療界で進む専門医制度の崩壊がある。待遇の低さから専門医をあきらめ、美容医療を目指す医師が増えているのだ。 同じことは日本でも起きつつある。日本の主要美容医療チェーンの院長を調べたところ、心臓血管外科、消化器外科、呼吸器外科、小児科などの専門医が美容医療に転じていた。 待遇を求めて美容医療に流れる専門医が増加すれば、日本の医療を根底から揺るがしかねない。 （ステラ・メディックス代表、獣医師/ジャーナリスト 星良孝） 【写真】心臓血管外科や消化器外科などの専門医が美容整形に流れている 韓国の研修医ストライキは、医学部教授もストライキに乗り出すと報じられるなど鎮火の気配が見えない。 前回の記事では、この背景にある動きの一つとして、韓国の医療界で進む専門医制度の崩壊について報告した。この中で、韓国の異常事態は日本にとっても無縁ではないと述べた。 ◎美容
東大が南米チリ標高５６４０ｍに「世界一の天文台」…２６年かけ完成「夢見た研究がようやく現実に」
【読売新聞】 東京大が南米チリの高地（標高５６４０メートル）に建設を進めていた「アタカマ天文台（ＴＡＯ）」が１日、計画開始から２６年かけて完成した。ギネス世界記録にも登録された「標高世界一の天文台」で、来年から観測を開始し、銀河誕生
自炊するな。ガチでやめろ。人生終わる。
引越しをするついでに自炊――家の本の電子書籍化――を行った。以下はその時の作業メモ、および深い後悔についての記録である。短くまとめると、絶対に自炊はしてはいけない。自炊をすると最悪死ぬ。 具体的な自炊の方法が知りたい方はすぐさましかるべき場所までスクロールすればよい。そうやってインスタントに情報を知っていればいいんだ！ ずっとそうしていればいい！ だが覚えておけ、Q. そうやって得た知識が何になるというんだ！ A. 知識になる 前書き 引越しをした。私は引越しを安上がりにするタイプで、おおむね宅急便 + 赤帽 + 自家用車による庶民的な引越しを行うことが多い。だが引越しの詳細についてはまた今度にしよう。 引越しをするついでに家にある本を大雑把に1. 重要な本、2. 持っておく本、3. くそどうでもいい本 の三つに分けた。 各カテゴリには、例えば次のようなものが含まれる。 重要な本 父親から
70年以上未解決であった「ミルズの定数の無理数性」が解決か！？ - INTEGERS
旧知の仲である数学者 齋藤 耕太 氏（筑波大学、学振PD）が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました： arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理（これは論文のタイトルにもなっています）が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり（ここでは自然数は正の整数を意味するものとします）、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
自宅で美味しいコーヒーを飲むためにどういう順序でお金を使うべきか
みなさんこんにちわ、カカオ豆です。 皆さんは家でコーヒーを飲みますか？僕は一日4杯くらい飲みます。 コスパ良く美味しいコーヒーが飲みたすぎて自家焙煎までしはじめて、職場の同僚にもその良さを布教しまくるようなウザムーブをかまして、気がつけば2年が経ちました。 さて、自宅コーヒーは、ちょっと気をつけて投資するだけでその辺のカフェくらいなら余裕で追い越せるくらい美味しいのが淹れられるようになります。 え？「プロをなめんな？」 いえいえ、もちろん超こだわったお店で超こだわる客に出す超高い一杯を超えるのは相当難しいです。 しかし普通のカフェが出す普通のお客さんに出す普通の一杯は極限までコストを削減しなければならないのです。 それはそれでプロの仕事ですが、我々自家消費のしろうとはコスト感覚を無視して高級豆を使えるのです。よく「ドリップ技術」なんて言われますが、コーヒーのドリップは豆の品質がほとんどです
『パラノマサイト』にハマった伊集院光が開発者たちと座談会！「この作品はゲーム業界の希望だと思っています」（伊集院）。サイン入りポスターをプレゼント | ゲーム・エンタメ最新情報のファミ通.com
『パラノマサイト』にハマった伊集院光が開発者たちと座談会！「この作品はゲーム業界の希望だと思っています」（伊集院）。サイン入りポスターをプレゼント 2023年3月9日にスクウェア・エニックスより発売された心霊ホラー・アドベンチャー『パラノマサイト FILE23 本所七不思議』。 パッケージ版展開のないダウンロード専売ソフトながら、その完成度の高さとおもしろさが発売直後から話題を呼び、各所で高評価を得ている。 今回、発売1周年を祝して特別対談を実施！ 週刊ファミ通の連載コラム“伊集院光接近中につきゲーム警報発令中”でおなじみでもあり、日本ゲーム大賞の授賞式の司会を毎年務めている芸人・伊集院光さんは、2023年の同アワードをきっかけに『パラノマサイト』を知り、本作をプレイ。以降、コラムでも何度も紹介するほどにハマっていた。 『パラノマサイト』開発陣と伊集院さんの特別対談が実現。伊集院さんならで
CAT6A準拠を名乗るフラットLANケーブル←こいつゴミです
言いたいこと最近はCAT6Aでフラットケーブルが登場してるが、あれ全部ゴミだ 30mぐらいまであるけどマジゴミ。 買う価値なし。 ゴミは置いといても、LANケーブルには「準拠」と「対応」があるらしい。区別して使うべし 長い文章（読み飛ばしてよい）CAT6Aで施工指示したのに5Eになってたと言う記事を読んで思い出したので吐き出しておく。 大手OAサプライヤで売っている完成品LANケーブル。これもCAT6Aが標準になってきて久しい。5Eのものはほぼ見られなくなった。 その中でフラットケーブルと言われるものが売られている。 通常LANケーブルというのは、細い線が何本か寄り合わされて、さらに保護用のチューブに入れられた構造だ。なので断面が丸いケーブルが普通である。 それを、丸くまとめるのではなく一直線に横に並べ固めたものがある。これをフラットケーブルという。また見かけから「きしめんケーブル」などと
Starlink(スターリンク)を7台束ねたら速度が上がるのか？確認しました！ | IIJ Engineers Blog
結構長くゲーム業界に出向していましたが、2022年秋に戻ってきました。ゲーム業界での経験も生かしながらIIJのエンジニアとしてちょっと面白いことを提供できていければいいなぁと思っています。格闘ゲームの世界チャンピオン(Evo2017)になった従兄弟がいますが彼にゲームを教えたのは僕ではありません。マスターリーグ大変そう、あと取締役就任おめでとう！ Starlinkは相当の性能をもった回線ですが、数百Mbpsという性能はダウンロード方向でありアップロードはそこまで早くはありません。 Starlinkについて説明している動画をみるとアンテナ理論値は540Mbpsのようです。実際に手持ちの環境で最近計測したときの最高値はダウンリンクが316Mbpsでアップリンクが33.9Mbpsでした。Starlink衛星がアンテナとの通信に使っているKuバンドの帯域はダウンロード方向に2GHz、アップロード方
5割弱が答えた「博士を採用しない」理由、イノベーションを失った…日本の残念な真実
日本企業からイノベーションが失われた。そのため、博士人材を増やすべきだとの意見が増えている。これは決して簡単な課題ではない。むしろ、博士号の取得者数は減少し、日本企業による採用も進んでいない状況だ。日本で今、何が起きているのか。 1940年、東京に生まれる。 1963年、東京大学工学部卒業。 1964年、大蔵省入省。 1972年、エール大学Ph.D.（経済学博士号）を取得。 一橋大学教授、東京大学教授（先端経済工学研究センター長）、スタンフォード大学客員教授、早稲田大学大学院ファイナンス研究科教授などを歴任。一橋大学名誉教授。 noteアカウント：https://note.com/yukionoguchi Twitterアカウント:@yukionoguchi10 野口ホームページ：https://www.noguchi.co.jp/ ★本連載が書籍化されました★ 『どうすれば日本経済は復活
米下院 ウクライナ支援の緊急予算案 超党派の賛成多数で可決 | NHK
アメリカ議会下院は20日、ロシアによる侵攻が続くウクライナへの追加の軍事支援のための緊急予算案を超党派の賛成多数で可決しました。アメリカによる軍事支援は与野党の対立から滞っていますが、支援の再開に向け大きく前進しました。 アメリカ議会下院は20日、ウクライナへの追加の軍事支援のための緊急予算案の採決を行い、賛成311票、反対112票の賛成多数で可決しました。 予算案は、総額およそ608億ドル、日本円にしておよそ9兆4000億円となっていて、支援の一部は返済義務がある借款の形をとることになっています。 採決では、下院で多数派を占める野党・共和党のうち、支援に消極的な保守強硬派の議員を含むおよそ半数が反対しましたが、与党・民主党の議員のほとんどが賛成に回り、超党派での可決となりました。 ロシアによる侵攻が続くウクライナの最大の軍事支援国となってきたアメリカは、与野党の対立から追加の支援のための
“消えない広告” ×マークが押せません!? | NHK
スマホを使っていて、イラッと感じること、ありませんか。 「×マークが小さくて、消そうとしたら、意図せず広告に触れてしまった」 「×マークを押そうとしたら、急に広告が動き、誤って広告サイトに飛んでしまった」 ウェブでの不快なことを聞いたある調査では、「広告を誤って押してしまったり、押しそうになった」と答えた人が、最も多いという結果でした。 実は、これ、「ダークパターン」と呼ばれ、世界で問題になっています。 （デジタルでだまされない取材班 芋野達郎） 押す気はないのに、広告を… マーケティングのリサーチ会社「クロス・マーケティング」が、20代から60代の1100人に、ウェブサイトやアプリを利用している際に感じる不快なことを、複数回答でたずねました。 すると、最も多かったのは『広告が表示され、押す気はないのに誤って押してしまった（押しそうになった）』で、29.5％、およそ3割にのぼりました。 続
北村教授への誹謗中傷について、東京地裁が加害者に２２０万円の高額賠償判決を命じました - 武蔵小杉合同法律事務所
イギリス文学者で武蔵大学教授であり、フェミニズム批評で有名な、北村紗衣教授に対する悪質な誹謗中傷について、本日、東京地裁は、加害者に金２２０万円の高額賠償を命じる判決を下しました。 この事案では、加害者側がカンパを募ったことが賠償額の増額事由として考慮されています。被害者ではなく加害者がカンパを募る「誹謗中傷ビジネス」に対して、裁判所が歯止めをかけた重要な貴重な判決だと評価してよいと思います。 判決はこちらのリンクからご覧ください↓ 東京地方裁判所 令和4年(ワ)第4632号 判決 ————– 北村紗衣先生のコメント まずは弁護団の皆様と、傍聴などで支援してくださった皆様に心よりお礼を申し上げます。本当にありがとうございました。皆様の努力と励ましなしに今回の判決は無かったと思います。 私はお金が欲しくてこの裁判を行ったのではありません。自分の名誉を守るために、そしてこうした行為が許されては
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「脱糞民主党」投稿者を立憲が刑事告訴→不起訴 岡田幹事長「必要に応じて...」今後に含みか
他候補者に「おい売国奴」拡声器で罵声、「凸」と称して迷惑行為も…東京15区補選で何が起きているのか - 弁護士ドットコムニュース
