サーバーの設定・確認・テストにはやっぱりコマンドラインツールだな。 パケットが届くかは ping シェルアクセスは ssh 名前が引けるかは nslookup WebページがGETできるかは curl アプリケーションレベルでアクセス確認は ftp ブラウザはDNSキャッシュが邪…

保存しているクレデンシャルが無効になってしまった場合は次のコマンドを打ってから、次の操作をする。 git config --global credential.helper wincredwincredはWindows専用。具体的には、bitbucket側でパスワード変更してしまうと、ローカルからはアクセス…

xy環境内で、マトリックスの直後に drop-frameコマンド（描画インストラクション）を付ける。

\xymatrix@1{ ... } でインライン向きの１行マトリックスを作れる。主に、\xymatrix@1{A \ar[r]^f & B} 。

\begin{xy} \xymatrix{A & B\\ C & D} \drop\frm{-} \drop\cir<8pt>{} \end{xy} フレーム： \frm{.}フレーム： \frm{=}フレーム： \frm{--}フレーム： \frm{-o}フレーム： \frm{o-}フレーム： \frm{==}フレーム： \frm{*}フレーム： \frm{o}

\ar[r]^(0.32){f}

対角線上に \ar@{}[dr]|\circlearrowleft

constantは、域が単位対象＝空リストである射を宣言する。図では三角ノードになる。variableは、名前付きのワイヤーを準備する。意図としては、その名前付きワイヤーはラムダ束縛するつもりだから、事実上束縛変数の選言。変数名は混乱の原因になるから、で…

同義語 構造体＝レコード。これは便利だ。構造体型は帰納的型だから、データは帰納的データ。帰納的データ（＝帰納的型のデータ）は定義によりリテラル表示を持つ。リテラル表示のコンビニエンスとしていくつかの記法がサポートされている。 名前付きレコー…

core.lean 内の定義： @[inline] def band : bool → bool → bool | ff _ := ff | tt ff := ff | tt tt := tt notation x && y := band x y[inline] というアトリビュートがある。その場で展開されるのかな？アンダスコアは無名変数〈匿名変数〉で、パターン…

import system.io #eval io.print_ln "hello world"try it!

Compositionモードで、ConvertToHalfAlphanumeric のトグルで小文字大文字先頭大文字となる。便利。 カーソル移動： Composition MoveCursorLeft Composition MoveCursorRight Composition MoveCursorToBeginning Composition MoveCursorToEnd セグメント操…

まず、デフォルトの挙動では、日時が新しいファイルを古いファイルで上書きする。ひどい。/xo オプションが必須。 テスト用コマンドライン： robocopy FromDir ToDir /L /xo /s /e /log:LogFile /tee 実行用コマンドライン： robocopy FromDir ToDir /xo /s …

使いこなしてスキルアップ！ ［Windows］キーを使ったショートカットのまとめ - やじうまの杜 - 窓の杜 より。 Windows+数字キー タスクバーのn番目のアプリケーションを起動。 Windows+0 最後のアプリケーションではなくて10番目らしい。 Windows+L Lock PC…

環境変数は展開し、start を前置補完してくれる。 %appdata% %homepath% 次が動く、メカニズムと理由は謎。 shell:downloads shell:camera roll

以下を見よ。なんかめんどくさいなー。 https://faq.nec-lavie.jp/qasearch/1007/app/servlet/relatedqa?QID=017810 Powershellに Alt+Ctrl+P を設定した。

ブラウザの設定などは今は複数デバイスで同期される（便利になった！）。が、今開いているタブの同期機能はない。Firefoxでもchromeでも、OneTab という拡張があり、これで解決。 OneTabをインストールする。 すべてのタブをリストにする。タブは閉じられる…

この記事の内容はない。

多様体を考えるとき、マテリアル解釈とスペース解釈がある。M→M という自己同型射を考えるときも、解釈は： Mmaterial→Mspace Mmaterial→Mmaterial Mspace→Mspace がある。いつでもこういう解釈が必須というわけではないが、概念の理解に解釈が役にたつかも…

U, V, W などは多様体Mの開集合、A, B, Cなどはユークリッド空間Rn の開集合。チャート写像 φ に対して、dom(φ)⊆M, im(φ)⊆Rn。(U, x)はチャート、im(x) = A とする。U上のベクトル場 X∈ΓM(U, TM) は、gi∈C∞(A) を使って、 標準表示 と書ける。ここで： gi(x)…

0を含む開区間で定義されたM上の曲線（パス）の全体を、COPath(M) とする。centered open path のつもり。次の同値関係を入れる。γ ～ δ とは： γ(0) = δ(0) in M γ'(0) = δ'(0) for some chart (U, φ) この同値類を [γ] と書くと、接写像の計算が、 Tf(ξ) =…