2024-04-27
tokyo operator, please 健康診断 レントゲン 「賛否」 さんまバス(東部地区地域交通バス) | 目黒区 (注記)東急バスと東急トランセとの会社合併や令和6年4月からバス運
しわよせのかたち
Gate keeper エレベーターでやる奴に初めて遭遇した。 某社の社員はいったいどうなってるのか以下略 自分は降りる階ではなかったのだけど、降りる人はみんな(そ
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
2024-04-09
_ a-cho
https://www.buzzfeed.com/jp/yukichiba/ontr-dodonpachi-inbachiac0408
まず a-cho がまだあるということに感動してしまった
(08:38)
[ツッコミを入れる]
NAKAMURA Minoru の日記 (2024年4月)
先月の日記(2024年03月) 今月の日記(2024年04月) 来月の日記(2024年05月)
2024 | 1 | 2 | 3 | 4
4/3 (水)
自宅のフレッツ光に障害が発生
自宅はフレッツ光ネクスト ファミリー・ハイスピードタイプを導入しているが、朝テレワークを始めると回線障害が発生していた。
終端装置 GE-PON-ONU の
パスキーに名前をつけて管理できるようにしました
はてなの日記 (646)
2024 / 4
2024.04.02
[書評] 精神の考古学(中沢新一)
中沢新一の近著『精神の考古学』を読むことを勧められたとき、その刹那、「ああ、あれか」という不思議な思いが去来した。ほんの瞬時の直感であるが、二つのことがそこにあった。一つは、これは1983年の『チベットのモーツアルト』の続編であろうということ(すべての面でそうだという意味ではないが)、もう一つは、吉本隆明の思想を継いだ著作であろうということ
この広告は、90日以上更新していないブログに表示しています。
camlspotter’s blog
読者になる
karasuyamatenguの日記
読者になる
(ひ)メモ
読者になる
2024年03月27日
noteの方に移行します
livedoor blogはずっと使わせていただいて愛着もあるのですが、https対応の予定が今後もない、という状態が続くようでもあるので、noteの方に引っ越します!
(そしてクレディセゾンでの5年間の活動の振り返りを投稿しました)
クレディセゾンでDXを進めてきた5年間を振り返る
お知らせ
by lalha
お知らせ (5)
noteの方に移行
Note
読者になる
No Programming, No Life
読者になる
Hacking My Way 〜 itogのhack日記
読者になる
カイワレスタイル
読者になる
keigoiの日記
読者になる
( ꒪⌓꒪) ゆるよろ日記
読者になる
iwiwiの日記
読者になる
Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記
読者になる
みずぴー日記
読者になる
純粋関数型雑記帳
読者になる
あんちべ!
読者になる
osiire’s blog
読者になる
急がば回れ、選ぶなら近道
読者になる
継承はなんでダメ?
2024 著作権. 不許複製
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
Gauche 0.9.14
BIGLOBEトップ
ウェブリブログ
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。
※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました
第141話 第142話 第143話 第144話 第145話 第146話 第147話 第148話 第149話 第150話
2024年1月24日 150話更新
shinichiro_h 2023-08-27 16:00 読者になる
2023-12-23
何でもやるということ
今年はなんだかとても忙しかった。といってもみんな忙しいんだから自分だけ忙しいなんてことはない。年の瀬だからとかじゃないとおもう。あと2時間でこの文章を上梓しなければアドベントカレンダーに遅刻してしまう。楽しみにしている全国一千万人のファンに申し訳がない。
adventar.org
さてわたしはこの職業について15年以上になってしまった。やっている事柄から
return0.infoに移転。昔の日記はまんま残してるので読みたい人はどうぞ。
世界樹の迷宮関係のコンテンツは移行が面倒なのでこっちに残すことにした。
世界樹の迷宮プレイ記録
世界樹の迷宮IIプレイ記録
世界樹の迷宮IIIプレイ記録
<< 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への投稿は減っていたのだが、最近になって宗教上(?)の
Posted by Jake Donham at 8:41 PM 1 comment:
Posted by Masato Kinugawa at 4:51 0
comments
2022
Agdaに入門した
Jan 8, 2022
Dec 2, 2020
Dec 20, 2019
Aug 18, 2019
Mar 23, 2019
2021年06月14日
RustからRTOS APIを使う
最近Rustという新しいプログラミング言語が多くの分野で注目を浴びています。RustはC++のような低レベルなコンパイル型言語であり高い効率で動作する一方、強力な型システムやメモリ安全性を保証するための仕組みを備えており、バグの少ないコードを書くことができます。本記事では、TOPPERSカーネルや弊社のSOLID-OS上でRustで書かれ
http://return0.info/note
return0 note
2019-06-30 †
私生活で色々あり過ぎて長らく放置していたので何から書くべきかわからんぐらいだが、とりあえず直近での出来事を書くと、
Lycanthrope名義以外にも妹とのユニットでも音楽活動を始めた。(https://blackashes.bandcamp.com)
M3への参加とかもろもろ考える
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード
だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〓dy {
■ [Misc] 新ブログ + ホームページ更新
研究者にとって、論文と予算申請書とホームページは同じくらい重要、とか謎のことを言ってみたりしつつ。
新研究センターに所属が代わり、所属チームの公式ページの整備を議論していたところ、なんだか個人ページの見た目が古い、ととある人に言われてしまったので、コンテンツを更新してみました。職場の公式ページと、個人ページを両方更新しました。
ついでに、このブログ
2016.02.15
当サイト「やまもといちろうブログ」は、LINEブログにお引越しをしました
すでにご案内のとおり、ここニフティ「ココログ」で長らく運営しておりました「やまもといちろうブログ」は、知らない間にスマホ向けブログページに無断で広告が貼られていて私には広告収入の分配がなかったという理由でLINEブログに移籍することになりました。
やまもといちろうブログ(LINEブログ)
http://
引っ越しました (12/30)
commit 直前にChangeLogの日付を変更する (08/15)-[Rubyコミッタ向け] Rubyリポジトリへのコミット時にコミットメッセージ自動生成 (08/14)
2009/02/06 表現の訓練の場
Last modified : 2015/08/09 21:38:49 UTC
俺はLindaたちがなにをあそこまで思いつめてRailsGirlsを始めたか&
2013-09-01 (Sun) [長年日記]
_ Emacs23.3 から Emacs24.3 へ移行
ちょっと仕事が落ち着いたのと
enotify を試してみたいなー
→ファイルがいっぱいあるので auto-install-from-url とか使えなくてインストール面倒臭そう
→そろそろELPAも安定してそうな雰囲気を感じるのでELPAで入れてみるかー
→どうせELPA使うなら標準で入ってい
This site requires JavaScript.You can still visit a non-dynamic version of this blog.