★その他Tips

• 調査依頼があったときのおおまかな進め方
• 書籍「はじめての圏論」で射の合成に使用されている記号
• Qiitaで脚注を表現するとき
• noteでLatex記法を使う
• sasテンプレート
• Latexで矢印を表現するとき（写像の別表現に関しても記載）
• 罫線素片
• Latexに関するメモ
• 圏論に関する外部リンク

調査依頼があったときのおおまかな進め方

• 1. 調査依頼の受領
  • 「こんなエラーが出た」「この辺りの仕様はどうなっていますか？」などの調査依頼がチケットとして届く
• 2. 再現性の確認
  • もらった情報を元に、まずは依頼者が直面しているエラーや問題が手元で再現するかどうかを試行する。
    • 再現できた場合 ... 3.へ進む。
    • 再現できなかった場合 ... エラー発生時の状況（実行したコード、画面操作の内容、入力した値、どの環境で実行したかなど）を追加で詳しく連携してもらう。
• 3. 事実の収集
  • 処理の流れを考え、「最初のエラーは具体的にどこで発生しているのか」「どこまでは想定通り動いているのか」を明確にする。
  • こちら側で追加で収集できるもの（動作ログや開発資料）があれば、収集しておく。
• 4. 調査の実施（原因の仮説を定義し、仮説の検証を行う）
  • いろんな側面で原因の仮説を立て、可能性の高いものから動作確認を行い、具体的な発生条件を順に明らかにする。
    • <具体的な発生条件の例> 「6桁のときはエラーになるが、7桁の時はエラーにならない」などの切り分け情報
  • バリエーション・発想が大事になってくることもあるので、必要に応じてメンバーに相談する。
• 5. 真因の特定
  • 明らかにした発生条件を整理し、エラーや問題に直接的に作用している発生条件を明確にする。
  • 必要に応じて、その真因が発生するに至った背景・経緯も可能な範囲で調べる。
• 6. 不具合の修正および報告
  • 原因や修正内容を整理し、対応と報告を行う。
  • 本番運用などでは「暫定対処」「恒久対処」のように、2段階で対処を行う。（まずは取り急ぎ問題を解決してから、その後の根本的な原因を解消する、といった流れ）

「原因の仮説定義および仮説の検証」のイメージ

• [疑問や課題]どうしてこのようなエラーが出るのか？
  • [原因の仮説1] 変数のデータ型が異なっているために処理中の型変換が行えず、エラーとなってしまう。
    • [仮説の検証結果1] いいえ。データ型をdouble型で揃えてみても、エラー内容に変化はなかった。
      • [得られた事実1] データ型の差異はエラーの原因ではない。
  • [原因の仮説2] 文字コードがUTF-8ではなく、想定外の入力値となってしまっている。
    • ...

書籍「はじめての圏論」で射の合成に使用されている記号

⨾

文字コードはU+2A3E。日本語入力モードで2a3eと打ち、F5で変換することで出せる。

https://tex.stackexchange.com/questions/125012/what-is-the-latex-code-for-an-open-semicolon

Latexだと、パッケージを追加すれば出せるみたい。

• mathbbolパッケージ ... \fcmp
• stmaryrdパッケージ ... \fatsemi

Qiitaで脚注を表現するとき

本文中に次のような文字列を記述することで脚注を表現できます。[^1]

[^1]: 脚注の注釈内容は、このように記述します。

https://blog.qiita.com/105484781374-2/

noteでLatex記法を使う

$${y = x ^ 2}$$のように記載する。

https://www.help-note.com/hc/ja/articles/4410665086873-%E6%95%B0%E5%BC%8F%E8%A8%98%E6%B3%95%E3%81%AE%E4%BD%BF%E3%81%84%E6%96%B9

sasテンプレート

Latexで矢印を表現するとき（写像の別表現に関しても記載）

https://mathlandscape.com/latex-arrow/

罫線素片

Latexに関するメモ

よく使うやつ

mathlandscape.com

• 【LaTeX】矢印(写像,極限,同値)のコマンド107個一覧
• 【LaTeX】集合演算子のコマンド110個一覧
• 【LaTeX】論理記号(否定,かつ,または,任意,存在など)一覧
• 【LaTeX】水平方向の空白(スペース)のコマンド11個

圏論に関する外部リンク

• 圏論自習メモ - Qiita
• 圏論メモ - Qiita