Hatena::Antenna

kzhamajiのアンテナ RSS OPML

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

  1. 2024/04/15 15:00:40 スタパ齋藤の「スタパトロニクスMobile」 バックナンバー (2011年) - ケータイ Watch 含むアンテナおとなりページ

    Ulanziのカメラ用ストラップが超便利! スマホでも使ってみる!!!
    (2024/4/15)
    周辺機器/アクセサリー
    その他
    連載スタパ齋藤の「スタパトロニクスMobile」

  2. 2024/04/12 16:12:19 天泣記含むアンテナおとなりページ

    2024-04-09 (Tue)
    #1 Coq の P -> False を ~P に変える
    先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
    Coq で、~P というのは、not P の notation である。
    not は以下のように定義される。
    Definition not := fun A : Pro

  3. 2024/04/08 22:36:34 cur含むアンテナおとなりページ

    Last Modified: Sun Apr 7 17:44:29 UTC 2024
    某駅におけるベルヌーイの定理の体感 2024-04-08 [Mon] 02:22
    人間というものは、たとえ個々人が自由意志をもって動いていたとしても、
    集団になると全体で流体のような動きを示す、ということをどこかで読んだ。
    実際、それを体現するような現象は東京都内の各所でみられる。
    とくに、新山がよく通る某駅な

  4. 2024/04/07 06:54:05 NAKAMURA Minoru’s Diary含むアンテナおとなりページ

    NAKAMURA Minoru の日記 (2024年4月)
    先月の日記(2024年03月) 今月の日記(2024年04月) 来月の日記(2024年05月)
    2024 | 1 | 2 | 3 | 4
    4/3 (水)
    自宅のフレッツ光に障害が発生
    自宅はフレッツ光ネクスト ファミリー・ハイスピードタイプを導入しているが、朝テレワークを始めると回線障害が発生していた。
    終端装置 GE-PON-ONU の

  5. 2024/03/30 20:11:22 Home | Redmine.JP Blog含むアンテナおとなりページ

    2024-03-29 10:00
    new-feature-before-release, 6.0
    【毎月更新】Redmine リリース前の新機能を先行チェック!ウェルカムメッセージのデフォルト値を追加など(2024年2月コミット分)
    Redmine公式サイトでコミット済みの未リリースの新機能を毎月紹介します。より便利になるRedmineの機能を一足先にチェックしましょう。
    今月は2024年2月にコ

  6. 2021/12/07 16:17:42 ソフト/Bug Tracking/trac/2011 - discypus含むアンテナおとなりページ

    ページ更新: 2012-01-05 (木) (3624日前)

  7. 2021/11/21 20:58:06 d.y.d.含むアンテナおとなりページ

    22:22 21/11/20
    ボレロ村上(村上原野)さんと constexpr のこと
    去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
    正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
    残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
    いつか機会が

  8. 2018/05/14 17:12:51 melancholic afternoon含むアンテナおとなりページ

    404 Not Found: ページが見つかりません
    ▼【重要】ホームページ開設者の方へ▼
    @homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
    詳しくはこちらをご確認ください。
    @nifty top ウェブサイトの利用について | 個人情報保護ポリシー
    特定商取引法に基づく表示
    ©NIFTY Corp