2023年5月6日のブックマーク (2件)

  • 超越整数

    超越整数 (transcendental integers) は、Harvey Friedman が定義した巨大数の分類である[1]。 整数\(n\)が次の条件を満たすときに限り、\(n\)は超越整数であるとする。 チューリングマシン M が停止するということを、ZFCで\(2^{1000}\)個以内の記号で証明できるのであれば、必ず M は\(n\) ステップ以内で停止する。すなわち、\(n\)はZFCによる停止性の証明が\(2^{1000}\)個以内の記号でできるようないかなるチューリングマシンの停止時間よりも大きいかまたは等しい。 性質[] 明らかに\(m>n\)かつ\(n\)が超越整数ならば、\(m\)も超越整数である。言い換えれば、超越整数は上に閉じており、したがって最小の超越整数が存在する。 Friedmanはこの種の数がブール関係理論に自然に生じると考えている。超越整数がFr

    超越整数
    zyouhou52
    zyouhou52 2023/05/06
  • 犬の爪と猫の爪 | 動物の医学 | 東浦和の動物病院なら、口コミで好評のドルフィンアニマルホスピタル

    犬の爪は、1の肢に4~5つあります。 5つ目の爪は狼爪と呼ばれており、中にはない子もいますが、先祖であるオオカミからの名残と言われています。 爪切りをするうえで忘れがちなのが、この狼爪です。 地面に接していないため、普段の生活で削れることはありません。 そのため、伸び続けると巻き爪になってしまい、肉球にい込んでしまうこともあります。 そうなると、傷口から菌が入り炎症を起こしてしまいます。 また、他の爪も伸ばしすぎてしまうと、中を走っている神経や血管も一緒に伸びてしまうため、短く切ることができなくなってしまいます。 伸びすぎた爪がカーペットやマットに引っかかって折れてしまうこともあります。 散歩や外に連れ出す機会が多く、運動量の多い子は地面に擦れて自然と少しずつ削れていきますが、室内犬や運動量の少ない子は削れにくいため、こまめにチェックしましょう。 爪の長さは、立った時に爪の先が地面につ

    犬の爪と猫の爪 | 動物の医学 | 東浦和の動物病院なら、口コミで好評のドルフィンアニマルホスピタル
    zyouhou52
    zyouhou52 2023/05/06