Canonical Ltd. イギリスの情報技術関連企業。Ubuntu（ウブントゥ）の支援及び開発援助のために、マーク・シャトルワースが2004年に設立した。
お久しぶりです。HAHAANです。 阪大基礎工に３年次編入してほぼ１年が経過しましたので、どんな感じだったのか書いておこうと思います。また、高専からの編入に関する具体的な内容は以下の記事を参考にしてください。 hahaan.hateblo.jp 今回の記事の目次です。編入してからの内容がメインですね。 編入後の流れ 編入後の時間割 受講科目について さいごに まあ、久しぶりの更新ですので内容がグダグダするかもしれません。ご了承ください。 編入後の流れ まず、2023年に基礎工学部 システム科学科 機械科学コース（略称シス科機械）に編入した私の4月はじめの出来事を軽く書いときます。 4月6日：お…
概観 2023年10月から四か月間の電気電子工学科での生活を振り返っていきたいと思います。 まずこれを書いている日が全テストが終了した二日後であることをご了承ください。おそらく大量のテストを終わらせて解放感に満ち溢れていることで、つらい経験をいい思い出として心が錯覚しているかもしれないです笑 大変と再三言われてきた学科に入り、どれだけの苦痛を体験するのかとおびえながら入った十月がついこないだのような気がします。本当にあっという間の半年です。 まずはやるべきだったという後悔を振り返ります。 ・工学部全体ITEPテスト 受けるべきでした。春からSTEACという工学部の英語授業をとるのですが、一つの…
by Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, and Alex Aiken与えられた状態遷移系から、状態上の述語を頂点に持つ遷移系を構成する手法の提案。ならびに、状態上の遷移系の分析と述語上の遷移系の分析を、情報を交換しながら並行して行う手法の提案。 概要 整数変数を持つプログラムのような無限状態遷移系の安全性の自動検証において、パフォーマンスの鍵となるのが適切な述語を見つける問題である。本論文は、双対的な視点からこの問題にアプローチするものである。ということで、視点を変えて、重要そうな述語の代わりに…
エンジニアの松尾です。LIFULL HOME'S の売買領域でエンジニアのマネジメントを担当しています。 チーム開発やプロダクトの運用をしていくにあたって開発ドキュメントは重要です。LIFULLにおいても日々作成やメンテナンスをしていますが、運用にあたって問題もあります。今回はこれらを少しだけでも改善すべく、「断捨離」に取り組んだ話を紹介します。 ドキュメント管理の現状 「断捨離」の意味 開発ドキュメントの「断捨離」 年末の大掃除 個人ワーク グループワーク 試してみた結果 まとめ
Ubuntuの派生OSにもかかわらず、Ubuntuより人気のあるLinuxMint。 そのdebian版のホームページにはこう書かれています。 ❖ LMDE 6 "フェイ" LMDE とは? LMDE は Linux Mint プロジェクトであり、"Linux Mint Debian Edition" の略です。 このプロジェクトの目的は Ubuntu がなくなっても Linux Mint が同じユーザエクスペリエンスを提供し続けられるようにすることです。Ubuntu にどれだけ依存しているか、またそのような事態が発生した場合にどれだけの労力がかかるかを評価することができます。また、LMDE …
最終回！ ↓これの続き！ cut-elimination.hatenablog.com ↓これを読んでいくシリーズ！ 現代思想 2023年7月号 特集＝〈計算〉の世界 作者:森田真生,細谷曉夫,近藤和敬,フリードリヒ・キットラー,ユク・ホイ,谷村省吾 青土社 Amazon 今回はフッサールに関する論考二つ！ 富山豊「フッサール数学論における「計算」・「演繹」・「直観」の付置」 ここへきて本特集で最もおもしろかった！ 積読している富山先生の本も読まねば。 フッサール 志向性の哲学 作者:富山豊 青土社 Amazon ダメットのいうカノニカルな証明とフッサールの直観の歴史的な繋がりとか、しかもテク…
Googleのソフトウェアエンジニアリング ―持続可能なプログラミングを支える技術、文化、プロセス オライリージャパン Amazon Hyrumの法則 あるAPIに十分な数のユーザーがいるとき、そのAPIの作者が仕様として何を約束しているかに関係なく、作られたシステムが持つあらゆる観測可能な挙動に関して、それに依存するユーザーが出る 社会交流の三本柱→謙虚、尊敬、信頼 知識の共有を妨げる「学びを阻む課題」 心理的安全性の欠如情報の孤島群情報の断片化情報の重複情報のスキュー(skew:バイアス、非対称)単一障害点(single point of failure/SPOF)全か無かの専門知識猿真似…
前回cake-by-the-river.hatenablog.jp 今回は、いよいよStable Diffusionの元論文である Latent Diffusion Model (LDM) について解説し始めます。特に、そのモデル構造（潜在空間における拡散モデル, 分類器なし条件付け, など）を導くに至った経緯を主に解説します。その他の問題（拡散ステップ数の削減など）に関しては次回になると思います。arxiv.org
前回cake-by-the-river.hatenablog.jp お久しぶりです。今回から肝心の拡散モデルを見ていこうと思います。今回は、スコアベースモデルを用いた Noise-Conditional Score Networks (NCSN) を解説し、拡散モデルの本題であり次回扱う Denoising Diffusion Probabilistic Models (DDPM) の前座となる要素の解説をしようと思います。 なお、今回以降の内容は、最近発売された拡散モデルに関する入門書の内容を参考にしました。拡散モデル データ生成技術の数理作者:岡野原 大輔岩波書店Amazon
Connextのアーキテクチャを探る Pt.1：高いセキュリティと耐検閲性 Connext | Hadas Zeilberger Connextは、いくつかのコンポーネントを積み重ねた「モジュラー・インターオペラビリティ・プロトコル」です。この記事では、2つのレイヤーとその特性について解説します。 Connextは、チェーンに依存しないクロスチェーンメッセージングプロトコルであり、様々なL1とL2をつなぐ、任意のメッセージングブリッジとして機能します。このプロトコルは、セキュリティを最大限に高めつつ、あらゆる種類のペイロードを効率的に処理するのに必要な柔軟性を維持するように設計されており、ほと…
note.com https://twitter.com/study_unnatural/status/1659778595773100032?s=20 というツイートをしました。ちなみに、結果としては「線形写像の微分はその線形写像そのもの」というのは正しいようです。実はここでも「canonical」の概念が登場します。canonicalについてもツイートをまとめてあります。 自明っぽいな 自明らしいです。自明とまでも言わないけどある程度の感覚は掴めました。 高校数学では、関数のグラフを見るとき、その一瞬（各点）を切り取って、1次式の世界（線形な世界）を見ていたわけです。これは三次元のグラフな…
note.com 以前Twitterで呟いた「カノニカルって何？」に多くの方に答えていただきました。いろんな方に言われたことは、「圏論のuniversal mapping propertyをやるとよい」ということです https://twitter.com/study_unnatural/status/1658101671761784833?s=20 https://twitter.com/Esquisse1102/status/1658281804422598657?s=20 https://twitter.com/Esquisse1102/status/165828193562041548…
登録日: 2023-05-07 更新日: 2023-05-07 こちらの「Linux あれこれ」は「Linux」メインの投稿ですが、「Windows11」にて「Linux」を使う機能にも興味があるので、投稿しました。 - 前回 、ホストOS として「Windows11」(22H2) に、「VirtualBox 7.0.8」をインストールしました。 残念ながら、「VirtualBox 7.0.8」にて、現行の「Windows11」(22H2) をホストOS として使うのは、今のところ対象外（未サポート）です。 - 「VirtualBox」に Linux ディストリビューションをインストールしての…
サーバー基礎をわかりやすく解説。今回のテーマは「Linux」。サーバーには必要だけれど、コマンドが難しそうだし...RHEL、Ubuntuって何？と、どこからはじめれば良いのか迷ってしまいますよね。知りたかったアレコレを教えていただきます！ 今回のサマリ 代表的なサーバーOS Windows系とUNIX系、サーバーOSの特徴と違い Linuxのディストリビューション LinuxOSとはどんなものか ディストリビューションとは Red Hat系とDebian系の違いとは Linuxは、勉強すべき？ まとめ 【筆者】小笠原種高さん（ニャゴロウ先生） 技術ライター、イラストレーター。システム開発のか…
japanese.engadget.com
anond.hatelabo.jp
www.s-bokan.com
japan.zdnet.com
seojapan.com
detlog.org
www.seohacks.net
japan.zdnet.com
ja.wikipedia.org
