An octic surface is one defined by a polynomial equation of degree 8. This image by Abdelaziz Nait Merzouk shows an octic discovered by Chmutov with 154 real ordinary double points or nodes: that is, points where it looks like the origin of the cone in 3-dimensional space defined by $x^2 + y^2 = z^2$.
Instead of funding these videos through sponsored ad reads at the end of each one, or separating out some behind a paywall, they're funded directly through viewer support. If they add value to your life, it would mean a lot if you considered joining the supporting members. Benefits range from early access to new videos, to having your name in the video credits.
去年のエントリ kmizu.hatenablog.com でHigher Order PEG(HOPEG)の評価器を公開したと書いたのですが、その時点でのHOPEGは、まだ First Orderで、パラメタ付き規則自体は扱えても、規則そのものを引数として渡すことはできませんでした。で、最近、再びHOPEGについて考えていて、とりあえずHigher Orderにしてみようと一晩頑張ったらHigher Orderになりました。これによって、従来はできなかった S = APPLY2(ALTER, "a", "b") !. ; ALTER(x, y) = x / y ; APPLY2(F, x, y) = F(x, y) ; // aかbのどちらかにマッチする みたいなのが書けるようになりました。ここでは、パラメタ付き規則APPLY2の第一引数自体がパラメタを取るようになっています。これによって
We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving distance, which we show generalizes the previously-studied bottleneck distance. To illustrate the utility of this approach, we greatly generalize previous stab
野菜の選び方はナップサック問題、乗り換え駅探索は、最短路問題といいます。典型問題は、よく研究もされているので、多くの場合、効率的な解法があります。あるいは、定式化がされているので、すぐ解くことができます。あとで、やってみましょう。ここで、あげている全ての典型問題の実行例は、典型問題と実行方法をご覧ください。 汎用問題 最近、私がやっているコンテナの仕事のお話しをします。 世界中の人たちが、いろいろなものを安く買えるのはコンテナ輸送のおかげです。中国などで生産したものを日本やアメリカやヨーロッパに、大量に安く運べるからです。でも、空のコンテナが、どんどんたまります。また中国に戻さないといけません。いつ、どこからどこに戻すかを決めるのが、最小費用流問題になります。ところが、最小費用流問題で表せない制約条件もあります。1 つが、カボタージュとよばれるものです。カボタージュというのは、国内のみの輸
Since its birth in 2008, GitHub redefined how software developers worked together. The firm was famous for several reasons: it had no middle management, it had a strong remote working culture, it made exactly what we needed, no more or less, and it was always profitable. These are interrelated. Today, GitHub has 500 employees, is valued at $2bn, and I think it is dying. Here is why. A Prayer for t
メルカリ、越境販売拡大に向けて韓国最大手CtoCマーケットプレイス「雷市場」(ポンジャン)との連携を開始
Caption: This diagram demonstrates the simplified results that can be obtained by using quantum analysis on enormous, complex sets of data. Shown here are the connections between different regions of the brain in a control subject (left) and a subject under the influence of the psychedelic compound psilocybin (right). This demonstrates a dramatic increase in connectivity, which explains some of th
マルコフ連鎖による文章自動生成 ちょっと文章の自動生成に興味が湧いたので、試してみることにしました。まずは事前調査したところ、既にやっている例がたくさんみつかりました。記事末の参考リンクにまとめましたので興味ある方は参照ください。Deep Learningやマルコフ連鎖を使うのがトレンド(?)のようです。本当はDeep Learningでやってみたかったのですが、何度か環境変えてチャレンジしたのですが、悉くエラーが出て失敗したため(chainerのバージョンアップの影響?)、諦めてマルコフ連鎖で実現することにしました。マルコフ連鎖に関してはここでは詳細は説明しませんので、興味ある方は自分で調べてみて下さい。自分もちゃんと理解できませんでした。イメージ的には、元となる文章の文章の流れのようなものを解析して、その解析した流れを元に、ある単語から順番に連想ゲームのように単語を並べていって文章を生
12月、私は PuPPy(the Puget Sound Python users group)の会合でQ&A セッション を行いました。そこでようやくPython 3が誕生した理由と、string/bytesに関する全てを説明しました。Python 3が作られた理由をユーザはもう知っているはずだと思っていたので、私はこの説明で称賛を得たことに、ちょっと驚きました。後で考えてみると、Pythonに詳しい人もそうでない人も含めて大多数の人が、その理由を探すように言われたり、好奇心からその理由を探し当てられるなどと考えた私が愚かでした。ですから、このブログの記事で、Python 3が存在する理由をわかりやすく説明します。後方互換性の全くない unicode / str / bytes の仕様変更は、Python 3のコードの移植の中でも本当に難解な部分ですので、私たちがその仕様変更を選択した理
先日、ジャンクで良いディスプレイが手に入ったので長年使っていた Princeton PTFBHF-19W をメインPCから取り外した。デスクトップをメインに使っていた頃にデュアルディスプレイ環境用として2台同時購入して、ノートPCに切り替えてから1台余っていたが、これで2台とも余ってしまうことになった。 手放すのもなんとなくもったいないので Raspberry Pi 1 Model B+ を使って X Window System 用のワイヤレスディスプレイとして使うことにした。 (「ワイヤレスディスプレイ」と言うかどうかは怪しい) 環境 HW OS Interface メイン 汎用機 Kubuntu Wired (1000Mbps) AP Raspberry Pi 2 Model B+ Arch Linux ARM Wireless Logitec LAN-WH300NU2 (RTL819
Qt Quickスターターブック―Qt5.10対応 (SHOEISHA DIGITAL FIRST)posted with カエレバ折戸 孝行 翔泳社 2018-03-15 Amazonで最安値を探す楽天市場で最安値を探すYahooショッピングで最安値を探す 目次 目次 はじめに インストール Macの場合 Linux(Ubuntu)の場合 Windowsの場合 Windowを作る ステータスバーに文字などを表示する メニューバーを作る ツールバーを作る 一行のフォームに文字や数値を表示する 複数行のテキストボックスを作る 表形式のGUIの作り方 スライダーGUIを作る タブのGUIを作る プログレスバーのGUIを作る メッセージボックスを作る ウィジェットをグループ化する リスト選択のGUIを作る ラジオボタンを使う PyQtをより深く学びたい人は Pythonのその他GUIライブラリ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く