はてなブログを持っていれば、誰でも参加できます。
個人的備忘録メモ。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…
先日のC# Tokyoの .NET 10 Preview1 イベントでも紹介した機能になります。動画の中でGitHubのサンプルコードを口頭で説明したのですが、それを実際のコードに起こしてみました。 www.youtube.com OrderedDictionaryにTryAddとTryGetValueというメソッドが追加されました。 github.com どのような使い方をするかというと、このG…
AIエージェントとは 人工知能（AI）を活用し、与えられた目標を達成するために自律的に行動するシステムやプログラムのことです。従来のAIが与えられた指示に基づいて特定のタスクを実行するのに対し、AIエージェントは自ら状況を判断し、必要なタスクを計画・実行できる点が特徴です。 推論型AIとAIエージェントとの違い 推論型とエージェントには近しい要素もありそう、並べて確認してみる。 特徴 推論型AI …
サイクロダイルドライブの改造が良い感じになりました。 6割位までグニュと感が抑えられています。 アームを水平に最大伸ばした時の先端の垂れ下がり 改造前 約32mm 改造後 約20mm 1号機改（参考）ウォームギアを使用 約18mm これ以上詰めるのは厳しいかも 後はプログラムで補正して行きます。 今回、ばらしたついでに前からすると言っていた遊星ギアの熱対策 第2段 ABSでプリントして組み込みし直…
Since support for TLS1.1 will end, detect TLS1.1 communication by packet capture using tshark. Key Points are the following options: -Y "tcp.payload[x:x]" Display filter by TCP payload -M Memory exhau…
次のページ
