はてなキーワード: 1900年とは
これらの壁画は、1879年にこの地の領主であり法律家でありアマチュアの考古学者でもある
マルセリーノ・サンス・デ・サウトゥオラ侯爵(Marcelino Sanz de Sautuola)の5歳の娘マリアによって偶然発見された。
侯爵はこれらの絵が旧石器時代のものであると考え、1880年に発表したが、当時は旧石器時代の絵が知られておらず、学界からは侯爵の捏造だと疑われた。
20年ほどの間に、他の地でもいくつかの洞窟壁画の事例が報告されたが、これらの絵にも当初は否定的な見解がなされた。
しかし、1900年代に入ると科学的な調査も進み、これらの洞窟壁画は間違いなく旧石器時代の絵と認識されるようになった。
言語によっては標準的に月末日を取得できる関数が用意されている
用意されてない場合もそこそこあるし
サードパーティー的なライブラリだとライセンスなどメンテナンス含めて面倒になるので避けることも多い
そもそも仕様を「月末日」などという不確定なものにせずに28日にしてもらう
ちゃんと仕様を決める部門と連携が取れていれば多くの場合で28日にしてくれるし
「28日支払い」が多いのもこのためだと思ってる
割とよくある実装がこの「次の月初めから1日(1秒)引く」という実装
2024年2月の月末日を取得する場合は2024年3月1日のUNIX時間から24*60*60秒を引いて計算する
ただし、実装を間違えると12月31日のときに失敗するので注意が必要
各月の月末日をマップとして保持しておいて取得させる
関数実装するなら if(month==1) return 31 とかを12行書けば実装できる
自分で実装する場合はプログラミングの教科書にあるぐらい有名なのでコピペでもChatGPTでも使えば良い
ただ仕様をそのまま実装せずに「4で割り切れたら閏年」でも問題無い(やったことはないが)
「それだと2100年でバグる!」
ちなみに過去の日付であっても2000年はバグらない(そのための400年処理だし)ため
遺伝子検査キットのMyHeritageって言うの使ったら、自分の母方の血に4~5世代にヨーロッパ系のアメリカ人の血が入っている事が分かった。
自分は小さい頃からハーフとか言われたり母方の方は外人って言われることが多かったのでその謎が解けて気持ち良かった。
アイヌの血が入ってるんじゃないかと思っていたけど遺伝子キットによると1800~1850年辺りにアメリカに居て、1900年~1950年頃には日本に居たみたいだった。
1950年からはハーフと思わしき血の流れが出来てて深く感動した。
時期的に黒船が来た後に明治産業革命とかその辺だからちょっと一人で舞い上がってテンション高くなったりした。
確かに生まれた時、自分の肌の色が他の赤ちゃんに比べて白かったり、髪の毛の色が赤と金に近いブラウンで顔付も日本人と少し離れていたので本当に納得した。
自分みたいな日本人を他に見た事が無くて、小さい頃は独りぼっちで孤独だったり、自分のノリが外国人よりで外国人とすぐ仲良くなりやすかったりするのもご先祖様の影響かと感動。
ちなみに別の遺伝子キットジェネシスヘルスケアで調べた情報によると縄文人よりもデアンネタール人の遺伝子合致率が高かった。
弥生系の日本人と結ばれて弥生系の遺伝子を持ったヨーロッパ系アメリカ人の子孫だからだろうか。
ちなみにヨーロッパの血筋はフィンランドと東ヨーロッパだった。
どうして自分がアメリカ人の子孫だと知る事が出来なかったんだろう。
家には日本の家系の物しかない、どこにも外国の血を残した歴史的なアルバムとかもない。
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
良い月? そんなものこの世にはない
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
インガオーホーだヨ
(一方のジャップランドはジャニーズとビッグモーターで大変だけどネ)
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
戦争だああああああああああああ
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
千葉県の北部中央に位置し、印旛郡に属する町。近年は「しすいート」「しすいーツ」等のグルメ町おこしに注力
1947年開校。
主な有名人:坂倉将吾(広島カープ)吉岡詩果(フィギアスケート)
主な有名人:長嶋茂雄(読売ジャイアンツ)峰岸真澄(リクルート社長)高見まこ(漫画家)BUMP OF CHICKEN(音楽家)
主な有名人:藤島康介(漫画家)立原あゆみ(漫画家)廣田雅晴(京都大阪連続強盗殺人事件犯人)
1875年創立。国立駅近くの食堂「深川 つり舟」は多くの一橋生の胃袋を満たしてきた。超大盛り注意
2023年国際文化学部、2024年建築デザイン学部、2025年食科学部と拡大戦略中
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
去年はまさにこの国の終わりを迎える記念すべき日だったナ
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る
毎年3月11日や9月11日を不謹慎だという連中や、「何らかの記念日だし普通の日とすべきだ」と書かれたアンサイクロペディア、全てにぶちぎれた増田が1年全ての日付(8月32日や11月31日なども含める)を不謹慎の日と扱うリスト
それがオールアンラーッキーデイズ(All anrakki days)だ
このリストに著作権なんかねぇから、日めくりカレンダーも薄い本もなんだってしてもらってもいいぜ
以下の順番でその日に起きた出来事をチェック
基本は日本縛りだが、あまりにもデカすぎる事件や事象の場合や、不謹慎がない場合は海外も対象に入る