はてなブログを持っていれば、誰でも参加できます。
ディープラーニングやChatGTPが出てきてから、AIに仕事を奪われるとかよく巷で話題になったりするのですが、昔から疑問に思ってことは「AIが働いてくれるなら人間は働かなくていいし、なんか問題あるの」ってことでした。じゃあ、どうやってお金を得たり、食べていくの？などに関する経済的な方面からの議論は自分が思ってるのと違うものが多く、前々から持論を一度まとめてみました。 AIが働くようになると、誰がお…
ヘッドセット Jabra Evolve2 50 ハイエンドヘッドセットのJabra Evolve2 50を購入しました。 AmazonのスマイルSALE ゴールデンウイークで2,600円の割引があり、23,000円で購入できました。 Jabra Evolve2 50 UC Stereo USB C/A 両耳 ヘッドセット USB ヘッドホン マイク付き UC ステレオ USB-C/USB-A接続 …
結構前にも紹介したUSB DACのMOTU M4なのですがこれがめちゃめちゃ便利です。 なんといっても手元で音量調整が物理ノブでできるのが最高です。 去年末あたりにiPhone16 Proに乗り換えたんですが、16 ProはUSB Type-CでUSBのVBUS出力に対応しているため、そのままMOTU M4を接続することで使えます。 一方でサブ携帯のiPhone 12にLightning OTGア…
昨年の冬の入り口あたりから、左足が痛く、徐々に足を引き摺るようになっていた。 下が柔らかく、不安定な場所に足を踏み入れるのが怖くなり、走ることが難しくなってきた。 そして最近はまともに歩くこともできなくなってきた。 4/11(金)に病院でMRI画像を見ながら医師と相談した。 まず、足の状況。 太ももの骨と脛の骨をつなぐ靭帯が左右前後に４つある。太ももの骨が前に行かないように止めているのが前十字靭帯…
お久しぶりです！ マイクラサーバーの記事を書いてから約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…
先日のC# Tokyoの .NET 10 Preview1 イベントでも紹介した機能になります。動画の中でGitHubのサンプルコードを口頭で説明したのですが、それを実際のコードに起こしてみました。 www.youtube.com OrderedDictionaryにTryAddとTryGetValueというメソッドが追加されました。 github.com どのような使い方をするかというと、このG…
次のページ
