はてなブログを持っていれば、誰でも参加できます。
昨年の冬の入り口あたりから、左足が痛く、徐々に足を引き摺るようになっていた。 下が柔らかく、不安定な場所に足を踏み入れるのが怖くなり、走ることが難しくなってきた。 そして最近はまともに歩くこともできなくなってきた。 4/11(金)に病院でMRI画像を見ながら医師と相談した。 まず、足の状況。 太ももの骨と脛の骨をつなぐ靭帯が左右前後に４つある。太ももの骨が前に行かないように止めているのが前十字靭帯…
個人的備忘録メモ。Google ColabでJuliaが正式サポートされて久しいが、Unicode記号のTab補完が効かず困っている(2025年4月現在)。 ひとまず、テキストセルを使えばある程度似たことはできそう*1。 テキストセルでUnicode記号を編集既にイシューも上がっているみたいなので、そのうち解決するかもしれない。 *1:すべてではない。\xorなどはうまくいかなかった。
お久しぶりです！ マイクラサーバーの記事を書いてから約9ヶ月ほど経ってしまいましたが、久々に重い腰を上げて記事を書こうと思います。 私生活が忙しかったのもありますがそれに関してはいずれ... さて、今回は"自宅サーバーリプレースその１"ということで、マイクラサーバーとして使っていたサーバーを消し、新たにより多機能な自宅サーバーを構築していきたいと思います。 今回は外部から自宅内にVPN経由でアクセ…
【要約】 この論文では、カット消去が一般には成立しない多くの非古典論理のシーケント計算に対し、カットを解析的カットに制限する新しい手法であるカット制限を導入する。カット制限は、言語に依存しない条件を満たすシーケント計算に適用でき、既存の結果を統一的に包含し、Gentzen のカット消去を包含し、新しい解析的カットの性質を確立する。 **概要** カット消去は証明論における基礎的な結果であり、計算的…
長らく開発時の環境、特に言語のバージョンの切り替えにanyenvを使っていた が、利用するツールとかのバージョンもやはり管理したいよなーということでmiseに乗り換えた(乗り換え前はAnsibleで管理していた) 他の選択肢としてasdfも出ていたが後発でよさそうと評判のmiseにした インストール Getting Started | mise-en-place GitHub Releasesから…
先日Ollamaを使ってみましたが想定よりも簡単だったので、その上でdeepseek-r1を試すことにしました。 8b, 14b, 32bパラメータの3つを使用し、それぞれ同じ質問をしてみます。 > ollama list NAME ID SIZE MODIFIED deepseek-r1:8b 28f8fd6cdc67 4.9 GB 2 hours ago deepseek-r1:14b ea3…
株式会社はてなに入社しました 株式会社はてなに入社しました - hitode909の日記
ご無沙汰してます。私です。 最近HNが安定しないので、出会ったときのタイミングの名前で好きに呼んでください。 2024年の8月で30歳になりました。 このブログを書き始めたときは、23歳だったのに、ときの流れは早いですね。 30歳になってから起きた出来事を箇条書きで羅列します。 ・誕生日（2024/08）・部署のリーダーになったことで部の責任者負いつつ他部署との調整役をする・公私共にバチバチに交友…
先日のC# Tokyoの .NET 10 Preview1 イベントでも紹介した機能になります。動画の中でGitHubのサンプルコードを口頭で説明したのですが、それを実際のコードに起こしてみました。 www.youtube.com OrderedDictionaryにTryAddとTryGetValueというメソッドが追加されました。 github.com どのような使い方をするかというと、このG…
次のページ
