Tetrodotoxinさんのページ

Tetrodotoxinは、記事編集者である。

書きたい記事・書いて欲しい記事一覧

• JPSikaDoctor

直したいところ・直して欲しいところ一覧

• 「角の三等分問題」-「体論における作図の可能性」(2022-07-08閲覧)
  • K₀はP₀の点から生成された体
    • iとかあらかじめ添加しておかなくて大丈夫?
• 「Transport Layer Security」-「概要」(2022-07-05閲覧)
  • 通信時の暗号化がForward Secrecyを考慮したものに改善されているので反映。TLSのどのバージョンから導入されどのバージョンで必須になったかも書く。
• 「米田の補題」(2022-07-14閲覧)
  • 全体的に「変換」という単語が多いけど何かを不可逆的に変質させるという意味が込められていそうで多分アンチパターン
  • 「Operationalモナド」
    • 私の知識不足のため不明
  • 「米田の補題」
    • 図が読みにくい
    • 「F_AX を "対象" として対応させて圏を構成する」がどういう操作なのか不明瞭
    • FからF_Aをどう作るのかも不明瞭
    • > 「その新しく出来た対象と対象間の射」への射(下図の⇒)はファンクター則を満たす
      • 多分関手性ではなく自然性
  • 「Operationalモナドの何がいいのか」 
    • > Operationalモナドの何でもモナドにできるという触れ込みはかなり誇大広告だと思うが
      • なぜ？Control.Monad.Operationalについて言えば、Program instrはinstrが何であれモナドであるが
  • 全体的に抜本的な書き直しが必要だが、どう書き直すのが良いかは不明