qiita.com 感想 プレビュー画面があって、わかりやすいのですが、横幅の広いディスプレーが必要だと感じました。 横幅の広いディスプレイが必要

github.com Node.Js上でサーバが立ち上がり、クライアントのJavaと、JSONを用いたプロセス間通信をする。 Client : Java Server : javascript > node jsii-runtime.js JsiiRuntimet.java <-- STDIN/STDOUT protocol --> jsii-runtime.js --> jsii-kernel.js …

A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda Lemma Yoneda Intuition from Humble Beginnings · GitHub Understanding Yoneda | Bartosz Milewski's Programming Cafe 米田の補題と自然変換 | math_pdf 米田の補題をリストで…

いつもstack ghciで起動した後に手で``:set prompt " > "をしていました。これを起動時に自動的に実行したかったのですが、やり方がわかりませんでした。 PS C:\Users\User\haskell\> stack ghci Using main module: 1. Package `RS' component exe:RS-exe w…

種類 内容 実装 Haskell parametric すべての型に対して成立する 実装が同じ type variable ad-hoc 一部の型に対して成立する 成立させる型ごとに実装が異なる type class

def embed project note data Fix f = Fix (f (Fix f )) fix unFix data Free f a = Free (f (Free f a)) | Pure a free unFreenot total sum data Cofree f a = Cofree a (f (Cofree f a) cofreenot total unCofree product

Public Sub getSelectedTextInfo() Dim s As PowerPoint.Slide Set s = GetActiveSlide() If s Is Nothing Then Debug.Print "アクティブなスライドを取得できません。", vbCritical + vbSystemModal Else putCB ("スライドタイトル / 内容 = " & s.Shapes.T…

選択したセルの、ブック名、シート名、セルの位置とセル自体の値をクリップボードに設定するマクロ(getActiveCellValueCB1プロシージャ) Sub getCurrentSheetNameCB() putCB getCurrentSheetName() End Sub Sub getActiveCellRowColCB() putCB getActiveCell…