次のコマンドを実行して再起動。 $ rm ~/Library/Preferences/com.apple.Preview.LSSharedFileList.plist

psqlコマンドはメジャーバージョンが違うとパスワードに認証などを通さなくなるみたい。 例えば、PostgreSQL 9.6な環境にPostgreSQL 10.5のpsqlを利用しようとしても弾かれる。 事前に入るPostgreSQLのバージョンはちゃんとチェックしておこう。

まだドキュメント化されていないっぽいところもあったので、メモしておく。 まず、Cloud Firestoreのルールを次のように変更しておく。 service cloud.firestore { match /databases/{database}/documents { match /{document=**} { allow read, write: if r…

TypeScriptで import firebase from 'firebase'; とかしたらwarning吐かれた。 warning内容 今時は import firebase from 'firebase/app'; してから個別に必要なパッケージを入れろとのことらしい。 // 個別に必要なものをインポート import 'firebase/auth'…

環境 opamのバージョン: 1.2.2 OS: macOS High Sierra 問題 opamが掃き出す素の状態の~/.opam/opam-init/init.fishをfishでsourceすると、死ぬ。 詳細を書くと、 ~/.opam/opam-init/init.fishの中で~/.opam/opam-init/variable.fishをsourceしてるんだけど、…

やりたいこと 最適化問題 をGurobiに解かせる。 ホスト言語はC++14。 なお、ここでは であることに注意。 やり方 まずはgurobi_c++.hと、(例のために)vector、randomをインクルード。 #include <gurobi_c++.h> #include <vector> #include <random> // インタンスを乱数で用意するため そし</random></vector></gurobi_c++.h>…

Gurobi 8はPython3.5で利用可能。 なので、Python3.5でどうやればGurobi 8を利用して最適化問題を解けるのかを記述する。 自分の使用した環境はmacOS+Gurobi 8.0.1なのでGUROBI_HOME環境変数は/Library/gurobi801/mac64となっている。 インストール まずはイ…

カスペルスキーの製品は利用台数が決まっている。 なので、その利用台数以上の台数を個人で利用する場合には新しく1ライセンス分購入することとなる。 ライセンスの販売自体はカスペルスキーではなく販売代理店の仕事となっている。 なので、新しく1ライセン…

忘れるので覚え書き collection-langcjk をインストールすることで利用可能となる $ sudo tlmgr install collection-langcjk 詳しくは qiita.com

micro+tmuxでshiftキーが聞かないな〜と悩んでいて、~/.tmux.confに set-window-option -g xterm-keys on を追加すればいいという記事を見て、その通りにしても動かなかった... なんだけど、issueに解決方法が提示されてた github.com $ export TERM=xterm-2…

まぁ探せばでてくるのだけど、まとめて書いておく。 準備 ちゃんとした定義は位相の本とか最適化の本とか参照してほしい。 無制約最適化問題 無制約最適化問題(unconstrained optimization)とは関数の最小解を求めるような問題: のことをいう。 要は関数の最…

最適化問題の最適性条件について 考える問題 考える問題はとして、 という最適化問題。 等号条件は のように分解すればいいし、右辺にでない数値がくるような といった条件はとして のように変形すればいい。このような問題を制約付き最適化問題という。 許…

位相線形空間だとの近傍の基本系の中でもbalancedでabsorbingでsymmetricなものを選んでこれる。 わりと悩んだので書いておく。 symmetric 一番簡単だからこれから。 集合に対して という集合を定義する。がベクトル空間の部分集合であれば、をと書いたりす…

Fréchet空間 Fréchet空間とは位相空間のなかでも を満たすもののことをいう。 図にすると .st0{fill:none;stroke:#000000;stroke-miterlimit:10;} .st1{stroke:#000000;stroke-miterlimit:10;} みたいな感じ。 つまり、相異なる2点を選ぶと各々の2点がもう一…

netについて学んだことを記しておく感じで netって？ 位相で出てくる数列を一般化したようなもので、位相やってると出てくる。 数列だと添え字集合としてpreorderでフィルターを持つの部分集合を利用してるけど、以外のpreorderでフィルターを持つ集合を添え…