komamitsuのアンテナ RSS OPML

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

  1. 2024/04/21 11:29:11 ときどきの雑記帖 i戦士篇含むアンテナおとなりページ

    模造記憶
    衣替え? 何着か半袖を出した。 それと入れ替えで今シーズンでお役御免のつもりだった長袖を処分する準備。 Z80 本家が今まで作ってたのも驚き (って数年前

  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/09 21:55:36 はじめてのにき含むアンテナおとなりページ

    2024-04-09
    _ a-cho
    https://www.buzzfeed.com/jp/yukichiba/ontr-dodonpachi-inbachiac0408
    まず a-cho がまだあるということに感動してしまった
    (08:38)
    [ツッコミを入れる]

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

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

  5. 2024/04/04 05:18:58 金利0無利息キャッシング 〓 キャッシングできます - subtech含むアンテナおとなりページ

    パスキーに名前をつけて管理できるようにしました
    はてなの日記 (646)
    2024 / 4

  6. 2024/04/03 16:09:23 極東ブログ含むアンテナおとなりページ

    2024.04.02
    [書評] 精神の考古学(中沢新一)
    中沢新一の近著『精神の考古学』を読むことを勧められたとき、その刹那、「ああ、あれか」という不思議な思いが去来した。ほんの瞬時の直感であるが、二つのことがそこにあった。一つは、これは1983年の『チベットのモーツアルト』の続編であろうということ(すべての面でそうだという意味ではないが)、もう一つは、吉本隆明の思想を継いだ著作であろうということ

  7. 2024/03/31 05:02:02 komamitsu.log含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています。

  8. 2024/03/28 12:13:29 Oh, you `re no (fun _ → more)含むアンテナおとなりページ

    camlspotter’s blog
    読者になる

  9. 2024/03/28 08:11:51 karasuyamatenguの日記含むアンテナおとなりページ

    karasuyamatenguの日記
    読者になる

  10. 2024/03/28 07:10:37 (ひ)メモ含むアンテナおとなりページ

    (ひ)メモ
    読者になる

  11. 2024/03/28 05:43:50 小野和俊のブログ含むアンテナおとなりページ

    2024年03月27日
    noteの方に移行します
    livedoor blogはずっと使わせていただいて愛着もあるのですが、https対応の予定が今後もない、という状態が続くようでもあるので、noteの方に引っ越します!
    (そしてクレディセゾンでの5年間の活動の振り返りを投稿しました)
    クレディセゾンでDXを進めてきた5年間を振り返る
    お知らせ
    by lalha
    お知らせ (5)
    noteの方に移行

  12. 2024/03/28 05:18:49 Note含むアンテナおとなりページ

    Note
    読者になる

  13. 2024/03/28 04:10:50 No Programming, No Life含むアンテナおとなりページ

    No Programming, No Life
    読者になる

  14. 2024/03/28 04:08:20 Hacking My Way 〜 itogのhack日記含むアンテナおとなりページ

    Hacking My Way 〜 itogのhack日記
    読者になる

  15. 2024/03/28 03:31:01 カイワレスタイル含むアンテナおとなりページ

    カイワレスタイル
    読者になる

  16. 2024/03/28 02:15:20 keigoiの日記含むアンテナおとなりページ

    keigoiの日記
    読者になる

  17. 2024/03/28 01:37:17 ゆろよろ日記含むアンテナおとなりページ

    ( ꒪⌓꒪) ゆるよろ日記
    読者になる

  18. 2024/03/28 01:32:55 (iwi)の日記含むアンテナおとなりページ

    iwiwiの日記
    読者になる

  19. 2024/03/27 23:31:01 仙台 haXe sumi flashlite sakura iei含むアンテナおとなりページ

    Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記
    読者になる

  20. 2024/03/27 23:02:34 みずぴー日記含むアンテナおとなりページ

    みずぴー日記
    読者になる

  21. 2024/03/27 17:07:20 純粋関数型雑記帳含むアンテナおとなりページ

    純粋関数型雑記帳
    読者になる

  22. 2024/03/27 14:09:12 あんちべ!含むアンテナおとなりページ

    あんちべ!
    読者になる

  23. 2024/03/27 13:04:17 まぁ、そんなもんでしょう。含むアンテナおとなりページ

    osiire’s blog
    読者になる

  24. 2024/03/25 19:56:01 急がば回れ、選ぶなら近道含むアンテナおとなりページ

    急がば回れ、選ぶなら近道
    読者になる

  25. 2024/02/10 23:54:58 まめめも含むアンテナおとなりページ

    継承はなんでダメ?

  26. 2024/02/05 22:12:02 jijixi’s diary含むアンテナおとなりページ

    2024 著作権. 不許複製

  27. 2024/02/02 16:40:53 J含むアンテナおとなりページ

    2024-02-01
    Arm laptop
    なんかいいやつないかな → ない
    Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
    Androidはある。
    Wikipediaを見れば一覧あったわ。
    https://en.wikipedia.org/wiki/List_of_products_usi

  28. 2024/02/02 08:32:20 Island Life含むアンテナおとなりページ

    Gauche 0.9.14

  29. 2024/02/01 22:41:20 厭債害債(或は余は如何にして投機を愛したか)/ウェブリブログ含むアンテナおとなりページ

    BIGLOBEトップ
    ウェブリブログ
    「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。
    ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました

  30. 2024/01/27 01:09:16 ワンパンマン含むアンテナおとなりページ

    第141話 第142話 第143話 第144話 第145話 第146話 第147話 第148話 第149話 第150話
    2024年1月24日 150話更新

  31. 2024/01/26 22:25:46 兼雑記含むアンテナおとなりページ

    shinichiro_h 2023-08-27 16:00 読者になる

  32. 2023/12/24 02:14:18 amnesiac weekend programmer含むアンテナおとなりページ

    2023-12-23
    何でもやるということ
    今年はなんだかとても忙しかった。といってもみんな忙しいんだから自分だけ忙しいなんてことはない。年の瀬だからとかじゃないとおもう。あと2時間でこの文章を上梓しなければアドベントカレンダーに遅刻してしまう。楽しみにしている全国一千万人のファンに申し訳がない。
    adventar.org
    さてわたしはこの職業について15年以上になってしまった。やっている事柄から

  33. 2023/10/24 15:34:36 Diary?含むアンテナおとなりページ

    return0.infoに移転。昔の日記はまんま残してるので読みたい人はどうぞ。
    世界樹の迷宮関係のコンテンツは移行が面倒なのでこっちに残すことにした。
    世界樹の迷宮プレイ記録
    世界樹の迷宮IIプレイ記録
    世界樹の迷宮IIIプレイ記録

  34. 2023/06/28 16:15:31 週記含むアンテナおとなりページ

    << 2023年06月 >>
    1 2 3
    4 5 6 7 8 9 10
    11 12 13 14 15 16 17
    18 19 20 21 22 23 24
    25 26 27 28 29 30
    (06/27)ブログ再開(できるといいな)
    日記(80)
    2023年06月(1)
    2023年06月27日
    ブログ再開(できるといいな)
    元々Twitterへの投稿は減っていたのだが、最近になって宗教上(?)の

  35. 2022/12/10 14:26:13 Ambassador to the Computers含むアンテナおとなりページ

    Posted by Jake Donham at 8:41 PM 1 comment:

  36. 2022/05/01 11:19:22 Masato Kinugawa Security Blog含むアンテナおとなりページ

    Posted by Masato Kinugawa at 4:51 0
    comments

  37. 2022/02/07 15:55:11 Writings by El Pin Al含むアンテナおとなりページ

    2022
    Agdaに入門した
    Jan 8, 2022
    Dec 2, 2020
    Dec 20, 2019
    Aug 18, 2019
    Mar 23, 2019

  38. 2021/06/29 19:01:23 KMC Staff Blog含むアンテナおとなりページ

    2021年06月14日
    RustからRTOS APIを使う
    最近Rustという新しいプログラミング言語が多くの分野で注目を浴びています。RustはC++のような低レベルなコンパイル型言語であり高い効率で動作する一方、強力な型システムやメモリ安全性を保証するための仕組みを備えており、バグの少ないコードを書くことができます。本記事では、TOPPERSカーネルや弊社のSOLID-OS上でRustで書かれ

  39. 2021/02/10 20:52:31 f;g;h - return 0含むアンテナおとなりページ

    http://return0.info/note
    return0 note
    2019-06-30 †
    私生活で色々あり過ぎて長らく放置していたので何から書くべきかわからんぐらいだが、とりあえず直近での出来事を書くと、
    Lycanthrope名義以外にも妹とのユニットでも音楽活動を始めた。(https://blackashes.bandcamp.com)
    M3への参加とかもろもろ考える

  40. 2020/08/27 12:01:02 Matzにっき含むアンテナおとなりページ

    意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
    それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
    追記
    サイコムから返事来た。送料着払いでボード

  41. 2019/11/25 02:35:48 val it: α → α = fun含むアンテナおとなりページ

    だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〓dy {

  42. 2018/12/05 07:23:25 こめんと含むアンテナおとなりページ

    ■ [Misc] 新ブログ + ホームページ更新
    研究者にとって、論文と予算申請書とホームページは同じくらい重要、とか謎のことを言ってみたりしつつ。
    新研究センターに所属が代わり、所属チームの公式ページの整備を議論していたところ、なんだか個人ページの見た目が古い、ととある人に言われてしまったので、コンテンツを更新してみました。職場の公式ページと、個人ページを両方更新しました。
    ついでに、このブログ

  43. 2016/02/15 23:38:12 切込隊長BLOG(ブログ) Lead‐off man’s Blog含むアンテナおとなりページ

    2016.02.15
    当サイト「やまもといちろうブログ」は、LINEブログにお引越しをしました
    すでにご案内のとおり、ここニフティ「ココログ」で長らく運営しておりました「やまもといちろうブログ」は、知らない間にスマホ向けブログページに無断で広告が貼られていて私には広告収入の分配がなかったという理由でLINEブログに移籍することになりました。
    やまもといちろうブログ(LINEブログ)
    http://

  44. 2015/12/30 18:24:17 革命の日々! 含むアンテナおとなりページ

    引っ越しました (12/30)
    commit 直前にChangeLogの日付を変更する (08/15)-[Rubyコミッタ向け] Rubyリポジトリへのコミット時にコミットメッセージ自動生成 (08/14)

  45. 2015/08/10 07:41:52 Shiro含むアンテナおとなりページ

    2009/02/06 表現の訓練の場
    Last modified : 2015/08/09 21:38:49 UTC

  46. 2015/03/13 07:30:08 卜部昌平のあまりreblogしないtumblr含むアンテナおとなりページ

    俺はLindaたちがなにをあそこまで思いつめてRailsGirlsを始めたか&

  47. 2013/09/01 22:03:09 tmaeda 日記含むアンテナおとなりページ

    2013-09-01 (Sun) [長年日記]
    _ Emacs23.3 から Emacs24.3 へ移行
    ちょっと仕事が落ち着いたのと
    enotify を試してみたいなー
    →ファイルがいっぱいあるので auto-install-from-url とか使えなくてインストール面倒臭そう
    →そろそろELPAも安定してそうな雰囲気を感じるのでELPAで入れてみるかー
    →どうせELPA使うなら標準で入ってい

  48. 2012/02/27 17:30:42 Day After Neet含むアンテナおとなりページ

    This site requires JavaScript.You can still visit a non-dynamic version of this blog.