Jij Tech Blog

Jij inc.の開発日記です

Nimのインストール

NimはPythonのような文法を持つ静的型付け言語です。実際使ってみるとPythonの皮を被ったCって感じです。 まだ日本語の記事が少ない(2021/4)ので、こちらでインストール方法を紹介します。 choosenim のインストール Nimをインストール標準的な方法はNimの…

セグレ埋め込みと射影多様体の積(2)~代数幾何学~

セグレ埋め込みと射影多様体の積(1)~代数幾何学~ https://jijtech.hatenablog.com/entry/2020/11/13/105951 から続きます。 射影多様体の積 いよいよ、射影代数多様体の積を定義します。任意の準射影多様体X \sub \mathbb P^n及びY\sub \mathbb P^mにつ…

航空機荷物搭載最適化問題

この記事の概要 Pilon et al., 2021, "Aircraft Loading Optimization - QUBO models under multiple constraints"を読み、その理解を深めるために内容をまとめたものです。 この記事の概要 Aircraft Loading Optimization モデル化 目的関数 制約 Payload L…

ポケモン最適化 Vol. 1: 1 vs 1

Jij meets Pokemon. この記事の概要 任天堂の大人気ゲーム「ポケットモンスター」を最適化問題として定式化し、それをOpenJijで解いてみようという趣旨の記事です。 この記事の概要 序章(先行研究) 逃げるんじゃねぇ!サシで勝負だ! 定式化 バイナリ変数 制…

セグレ埋め込みと射影多様体の積(1)~代数幾何学~

セグレ埋め込みと射影多様体の積(1)~代数幾何学~ ここでは、射影多様体同士の積を定義するために必要な、セグレ埋め込みを考察します。セグレ埋め込みとは大雑把に言えば、二つの射影多様体の直積集合を次元の大きい射影空間に埋め込んで、誘導位相を入…

「ナップサック問題が量子アニーリング(QA)で解けない」は本当か?

この記事の概要 Pusey-Nazaro & Date, 2020, "Adiabatic Quantum Optimization Fails to Solve the Knapsack Problem"を読み、実際にその内容を検証・考察したものです。 この記事の概要 ナップサック問題 概要 定式化 制約: ナップサックで運ぶことができる…

量子コンピュータでLHC高エネルギー実験データ探索

この記事の概要 Armenakas & Baker, 2020, "Application of a Quantum Search Algorithm to High-Energy Physics Data at the Large Hadron Collider"を読んだので、その理解を深めるためのアウトプットとして作成したものです。 この記事の概要 序章: Grove…