|
|
|
|
|
||
|
||
ピ
脆弱性 ブラザーのプリンターなど約750機種に「緊急」の脆弱性–確認方法と対策 - ZDNET Japan インストーラーの問題? CVE-2025-48384: Breaking Git with a carriage return and cloning RCE : r/programming)
【復旧済み】人力検索はてなにアクセスできなくなる障害が発生していました
人力検索はてな 日記 (268)
2025 / 7
NAKAMURA Minoru の日記 (2025年6月)
先月の日記(2025年05月) 今月の日記(2025年06月) 来月の日記(2025年07月)
2025 | 1 | 2 | 3 | 4 | 5 | 6
6/28 (土)
[Movie] F1/エフワン
横浜ブルク13で「F1/エフワン」(原題: F1)を吹替版を見る。
あまり期待せずに見たのだが、F1のシーンは実際のレース場で撮影しただ
2025-07-04
_ チームラボプラネッツ
会社のバーベキューが豊洲であり、そういうのに積極的に参加したい気分になってる身としては行く一択なんだけど、東京の西の方民としては、遠すぎるやろ！があり、ついでに一泊して、翌日近くの観光地に行くことにした。選ばれたのがチームラボプラネッツてやつだった
チームラボプラネッツ、これは本当に良かった。正直感動するレベルだったんだけど、ちょっと書かないと説明に
2025.07.04
見た目でお値段がつく世の中
参議院選挙の公示が始まり、街に貼られたポスターを眺めていたら、ふと引っかかる感覚があった。なにか商品広告を見ているような感じで、そして「この顔、なんかお値段ついてるな」と思った。候補者の白い歯、整ったスーツ、計算された笑顔。まるで「私、高いですよ、お得ですよ」と語る商品のようだ。コンビニの棚にならんだポテトチップスのキラキラしたパッケージを見たとき
※10秒後にBIGLOBEのおすすめページに遷移します
BIGLOBEのおすすめサービス
Copyright(C)BIGLOBE Inc. 1996-
2025-06-28 (Sat)
#1 Proof Summit 2025
発表スライド: Coq ユーザが Lean を調べてみた
2025: 01, 02, 03, 04, 05, 06
AWS と GCP と Azure のクライアントライブラリ（Python）のドキュメントのありか
Azure
概要
https://learn.microsoft.com/ja-jp/python/api/overview/azure/?view=azure-python
サービスごとにパッケージが分かれていてめちゃんこたくさんあります。
Python API ブラウザー で探すでもよし。
AP
第１５１話 第１５２話 第１５３話 第１５４話
2025年5月10日 154話更新
2025-04-19
自作デスクトップのブートSSDをNVMeに換装しました（ふるさと納税で実質0円）
全国2000万人のPCジサカーのみなさん、こんばんは。前回の自作報告は
10年ぶり？くらいにデスクトップを新調しました - kuenishi's blog
でしたが、気づけばもう4年近く同じ環境だったわけですね。SSDが壊れて足して・・・みたいなのを繰り返していたのですが、業務上NVMe SSD
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
2025 著作権. 不許複製
この広告は、90日以上更新していないブログに表示しています。
この広告は、90日以上更新していないブログに表示しています。
出願手続きは共通ポータルがあって、全部オンラインでできる。高校では秋学期に進学向けのクラスがあって、その中でアドバイスを受けながら基本的には本人が自力で進める。
エッセイは結構重要らしいんだけど、これは自分には勘どころがわからない。ただ、進学クラスで綿密に練っていて、最終稿を見せてもらったけどなかなか良く書けていた。日本語でエッセイというと随筆みたいな印象だけど、こちらではどっちかというと小論文。
2024年07月12日
LLVM18の驚異的な最適化はどのように実装されているのか調べてみました
ずっと問題なく動いていたコードが LLVM 18 から動かなくなってしまったことをきっかけに始まった調査でしたが、気が付けばけっこうな分量になりました。
SoftFloatの未定義動作バグ（1）signedのunsignedな絶対値を求める際にINT_MIN
SoftFloatの未定義動作バグ（2）R
この広告は、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の日記
読者になる
( ꒪⌓꒪) ゆるよろ日記
読者になる
Scala で TAPLを勉強しつつ LLVM コンパイラを作る日記
読者になる
みずぴー日記
読者になる
純粋関数型雑記帳
読者になる
あんちべ！
読者になる
osiire’s blog
読者になる
急がば回れ、選ぶなら近道
読者になる
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
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:
2022
Agdaに入門した
Jan 8, 2022
Dec 2, 2020
Dec 20, 2019
Aug 18, 2019
Mar 23, 2019
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.