メインページ

数学における循環十進小数 0.999... は、実数として数の「イチ」であると示すことができる。言葉を変えれば、記号 "0.999⋯" と "1" は同じ数を表している。これが等しいことの証明は、どの程度数学的に厳密であるかということまで含めて、多様な方法で説明することができる。

一般に、任意の 0 でない有限小数は、末尾に無限個の 9 が連なる値の等しい双子の表示（例えば 8.32 と 8.31999⋯）を持つ。0.999⋯ と 1 が等しいことは、もっとも一般的に用いられる実数の体系に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある……

• 陸前高田市立図書館は、岩手県陸前高田市の公共図書館。1964年に設置された。2011年3月11日の東日本大震災で壊滅的な被害を受け、2012年からは仮設館で業務を行っていたが、2017年7月20日に新図書館が開館した。震災後にはほかに3館の私設図書館が陸前高田市内で活動を行っている……
• 伊那市立図書館は、長野県伊那市の公共図書館。旧伊那市、上伊那郡高遠町、上伊那郡長谷村の合併で新伊那市が2006年に発足し、伊那市立図書館は旧伊那市域にある伊那図書館と旧高遠町域にある高遠町図書館の2館に加えて公民館図書室6室からなる……
• 土佐のほっぱんとは、高知県南西部の太平洋沿岸に面した地区(現在の幡多郡黒潮町伊田)にかつて存在した風土病。「ほっぱん」とは当地域における発疹の方言名。後にトサツツガムシが媒介するツツガムシ病であると判明した。同じ病因で発症する香川県の馬宿病についても言及する……

• 豊橋鉄道1800系電車は、豊橋鉄道が1967年（昭和42年）に同社渥美線へ導入した電車である。豊橋鉄道の親会社である名古屋鉄道（名鉄）よりモ3350形・ク2340形を譲り受けたもので2両編成2本が在籍、1997年（平成9年）7月に実施された渥美線の架線電圧1,500V昇圧まで運用された。……
• 『フォルテッツァ』いわゆる『剛毅』は、イタリアのルネサンス期の巨匠サンドロ・ボッティチェッリが1470年に制作した絵画である。テンペラ画。「剛毅」の擬人化としての女性像を描いた作品で、記録に現れるボッティチェッリの最初の傑作である。現在はフィレンツェのウフィツィ美術館に所蔵されている。……
• 林 織江（1744年 - 1818年11月26日）は、三河国吉田宿呉服町（現・愛知県豊橋市呉服町）生まれの女流歌人。61歳の時に、漁夫歌人として知られる糟谷磯丸と出会い、指導を行いながら交流を深める中で、磯丸に大きな影響を与えた。……

• 人工知能 (AI) において、AIアライメントは、AIシステムを人間の意図する目的や嗜好、または倫理原則に合致させることを目的とする研究領域である。意図した目標を達成するAIシステムは、整合したAIシステムとみなされる。一方、整合しない、あるいは整合を欠いたAIシステムは、目標の一部を適切に達成する能力はあっても、残りの目標を達成することができない。……
• 大牟田4人殺害事件は、2004年9月16日と9月18日に福岡県大牟田市で発生した連続殺人・死体遺棄事件。暴力団組長一家4人が、無登録の金融業を経営する知人とその子供2人、さらに子供の友人の計4人を相次いで殺害し、遺体を諏訪川に遺棄した。犯人一家は2011年に最高裁で死刑判決が確定しているが、一家が揃って死刑判決を受けたこと、また一連の犯行で4人の死刑が確定したことは異例とされている。……