【4月28日清水戦】チケット販売状況(4月25日10時時点)
2024.04.25
【ファジスクエア】ゴールデンウィーク期間中の営業について
2024.04.25
お知らせ
4月28日発売! 4月20日「CスタVICTORYフォト」!
2024.04.25
試合
4月26日 RSK「ユタンポ」
2024.04.25
メディア
【2024JリーグYBCルヴァンカップ 1stラウンド2回戦】ハイライト
Updated on Apr 22, 2024
ukfes#2 開催のお知らせ
Workload Discovery on AWS を運用に組み込んでみた
SRE
テクノロジー
テクノロジー2024.04.19
Workload Discovery on AWS を運用に組み込んでみた
SRE
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
NAKAMURA Minoru の日記 (2024年4月)
先月の日記(2024年03月) 今月の日記(2024年04月) 来月の日記(2024年05月)
2024 | 1 | 2 | 3 | 4
4/3 (水)
自宅のフレッツ光に障害が発生
自宅はフレッツ光ネクスト ファミリー・ハイスピードタイプを導入しているが、朝テレワークを始めると回線障害が発生していた。
終端装置 GE-PON-ONU の
2024/03/14 (Thu)
= カメラ
_ 正体が分かったSRマウントのレンズを今日も持ち出してみた。
昨日はあまり天気がよくなかったが、今日はわりとよい天気。
やっぱり…なんかいいんだよな… M4/3ですら周辺まできっちり解像…みたいな
ことはないんだけど、嫌な流れかたではないし、フリンジも気付かないくらいだし、
コントラストもしっかりしているし、
なんか好感度が高い。28mmの画角も楽し
今年もRubyKaigiのCFP通らなかったので公開します
2024-02-23 22:03:00 +0900
今年もRubyKaigiのCFP通りませんでした。やっぱり結構へこみますね。送ったプロポーザルの内容を共有しておくので、何かの役に立てばと思います。もしくは誰か添削でもしてください。
Art of metaprogramming
Abstract
Not a Black Magic. M
wasi-threadsの概要とComponentModelでの利用の現状とその先
wasi-threadsの概要とComponentModelでの利用の現状とその先
2024-01-22
JSで書かれたツールをRustで書き直し、Wasmで提供する。ということを考える中でwasi-threadsをベースにrayonを使用したComponentを作りたい。という思いがでてきたのだが、それが可能なの
「SolidityとEthereumによる実践スマートコントラクト開発」という本を読んで、Ethereumをちょっと始めようかなと思った。 ただ、自分のPCに環境を準備するのが大変そうだったので、Dockerを使って試したい。 ということで...
前回の記事(俺はRaspberry PiにRubyもインストール出来ない愚か者なのか)なんだが、結局のところRaspberry Piのイメージをインスト
ChatGPTプラグイン開発の実践:さけのわの事例紹介
2023年5月29日
ChatGPTプラグイン開発の実践:さけのわの事例紹介
さけのわChatGPTプラグインを公開しました。さけのわのデータを使って日本酒の銘柄について詳細情報を教えてもらったり、おすすめを相談できるプラグインです。
この記事ではChatGPTプラグイン開発において困ったところ、勘所などを開発者...
ウェブ全体を検索
このサイト内を検索
Ando’s
Processor Information Page
Web内で公開され ているマイクロプロセサ関係のデータシートやマニュアル等のリンク集 として始めたのですが,現在は,もっぱら,前の週に発生したプロセサ関係の話題を紹介しています。 なお,当サイトに書かれた情報は,正確を期するように努力していますが,正しいことを保証するものではなく,情報の使用の