はテナ RSS OPML
*NOTICE* : IE系で見ると妙な事になります

おとなりアンテナ | おすすめページ

  1. 2022/05/29 19:20:55 ニュース | ファジアーノ岡山 FAGIANO OKAYAMA含むアンテナおとなりページ

    J2第19節 V・ファーレン長崎戦 監督・選手コメント
    2022.05.29

  2. 2022/05/29 07:22:03 Zinnia hacks tomorrow.含むアンテナおとなりページ

    2022/05/28 (Sat)
    _ 昨日は夜になっても大気の状態が不安定だったようで俄か雨やら雹やらが
    降るような日だったらしい。夜に北西の方の空で雷がとんでもない頻度で
    落ちていた。私のスマホはさほど暗所に強くないので迫力に欠けるものの
    動画で撮影してみたところ30秒ほどで10回くらいは光っているような塩梅だった。
    _ 週末はかなり気温が高くなるらしく、初めての真夏日になりそうらしい。
    = 自

  3. 2022/05/11 07:15:33 NAKAMURA Minoru’s Diary含むアンテナおとなりページ

    NAKAMURA Minoru の日記 (2022年05月)
    先月の日記(2022年04月) 今月の日記(2022年05月) 来月の日記(2022年06月)
    2022 | 1 | 2 | 3 | 4 | 5
    5/4 (水)
    [Movie] ドクター・ストレンジ/マルチバース・オブ
    109シネマズ港北で『ドクター・ストレンジ/マルチバース・オブ・マッドネス』(原題: Doctor Strange i

  4. 2022/05/07 19:42:47 天泣記含むアンテナおとなりページ

    2022-05-07 (Sat)
    #1 Coq/SSReflect での整礎帰納法 (4)
    mathcomp だと elim: n {-2}n (leqnn n) を簡単にするために ubnPgeq が使えたように、
    elim: n.+1 {-2}n (ltnSn n) を簡単にするのが用意されてないかな、と思って調べたところ、 ssrnat.v のコメントに書いてあった
    あまりよくわかってないが

  5. 2021/10/04 14:52:30 Ando’s Microprocessor Information含むアンテナおとなりページ

    ウェブ全体を検索
    このサイト内を検索
    Ando’s
    Processor Information Page
    Web内で公開され ているマイクロプロセサ関係のデータシートやマニュアル等のリンク集 として始めたのですが,現在は,もっぱら,前の週に発生したプロセサ関係の話題を紹介しています。 なお,当サイトに書かれた情報は,正確を期するように努力していますが,正しいことを保証するものではなく,情報の使用の

  6. 2020/04/11 14:14:46 メモ含むアンテナおとなりページ

    Apr. 2020
    Last Modified: Sat Apr 11 05:02:35 UTC 2020
    Duuude2020-04-11 [Sat] 13:29
    暗い話だよなー、ほんとに。
    技術的な判断ができない人々や、精神論的な考え方に頼る人々がトップに立つことが多い日本は、長い目で見れば徐々に衰退していくだろうとかねがね思っていた。が、この現象はもっと短時間のうちに起こりそうである。そして