インストールと起動 OpenSSLの秘密鍵情報： putty形式に関して： SSH利用の手順 後で追加した情報 インストールと起動 WinSCP は、winget install --scope machine WinSCP.WinSCP でインストール。 [Win]+[Q] winscp で起動できる。 OpenSSLの秘密鍵情報： $…

$`\xymatrix{ \text{Thing} \ar[r]^{\text{is-a}} &\text{Kind} \ar[r]^{\text{determines}} &\text{Habitat} \\ {} &\text{S/S} \ar[u]^{\text{defines}} \ar[d]_{\text{has}} &{} \\ {} &\text{Constituent} \ar@/_2pc/[uu]_{\text{possesses}} &{} }\\ \t…

サーフェイス図のテキスト表現 ストリング図とストライプ図 環境付き計算と依存アクテゴリー 1/n 図式思考の例として、ラックス・モノイド関手について考えてみる 変換手2-圏の代数構造とストリング図表現 反ラックス・モノイド余モナドの余クライスリ圏 そ…

続・一貫性の用語法 - (新) 檜山正幸のキマイラ飼育記 メモ編 に本編記事 依存アクテゴリーに向けて - 檜山正幸のキマイラ飼育記 (はてなBlog) が入っている、どういうこと？

よくある誤認 言葉が誘発する誤解 区別と注意 名前の区別 文法的注意 概念の区別 言い回し 性質＝条件 構造 関係 存在命題 全称命題 事例： 「コンビネーション」の用法 線形コンビネーション 群コンビネーション モノイド圏コンビネーション 集合デカルト圏…

$`\newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\mbf}[1]{ \mathbf{#1} } \newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\msf}[1]{\mathsf{#1}} \newcommand{\msc}[1]{\mathscr{#1}} \newcommand{\mbb}[1]{\mathbb{#1}} \newcommand{\u}[1]{ \unde…

「絵算の威力をお見せしよう」より「ETBダイアグラム」より： wireless-box 僕はワイヤー概念は混乱をもたらすから、 不要というより弊害があると思っていた。ブロックの組み合わせに対応する計算を記号的（非図形的）にするときは、ワイヤーに対応する概念…