数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch562:132人目の素数さん 12/02/06 23:57:09.75 直交しているという表現を使う>>557は多分プログラマの人なんだろ。 処理系作っていた人がそんな表現使ってた。独立しているぐらいの意味だったはず。 プログラマの人は勝手に変な言葉をあやふやに定義して、形式的に定義された言葉で みんな知っている、という意味不明な前提を持ち出すから話が成立しない。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch