オートマトンで遊ぶやつを作った - Just $ A sandbox
この記事はHaskell Advent Calendar 2015 18日目の記事です. Automatoy(オートマトン)で遊ぶやつを作ったので紹介します. github.com ブラウザで遊べる. 以下それっぽい解説. Automatoyについて http://myuon.github.io/automatoy/ "Def"タブでオートマトンを定義. "Check"タブで与えられた文字列のacceptance checkができる. "Conversion"タブでいくつかのサンプルオートマトンを読み込んだり, NFAをDFAに変換(いわゆるpowerset construction)できる. また, 右上のImport/Exportでjsonに変換したり, jsonを読み込んだりできる. もう少し扱えるオートマトンのバリエーションを増やしたり, acceptance checkにアニメー
Ekmett勉強会発表資料
2013/3/31 ekmett勉強会発表資料 中で紹介されているURLのバージョンが古かったり治ったり（？）してるのはご愛嬌Read less
Lenses
Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programming languages. For example, C# provides language support to treat properties as ordinary variables: class Point { public double x { get; set; } public double y { get; set; } } class Circle { public Point center { get; set; } public double radius { get; set; } } public void goRight(ref Circle c) { c.center.x
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
lens
This package comes "Batteries Included" with many useful lenses for the types commonly used from the Haskell Platform, and with tools for automatically generating lenses and isomorphisms for user-supplied data types. The combinators in Control.Lens provide a highly generic toolbox for composing families of getters, folds, isomorphisms, traversals, setters and lenses and their indexed variants. An
Lensことはじめ - あどけない話
見ろ！ Haskell が OOPL のようだ！ さてさて、ようやく重い腰を上げて、Lens を勉強し始めましたよ。Haksell for allを見て勉強すればいいのかなと思ったんですが、解説しているパッケージが data-lens なので古いですね。 今、使うべきなのは、lens というパッケージらしいです。解説は、この README を読むのが一番だそうです。この README と Haskell for all をにらめっこしながら、Lens の getter と setter の機能を使ってみます。 背景 Haskell の代数データ型にはフィールドラベルが定義できて、これがいわゆる getter と setter の役割を果たします。Haskell for all から例を引用してみましょう。 data Point = Point { x :: Double , y :: Do
Synopsys社製品取り扱いに関する重要なご案内 ：サイバネット
2021年10月2日 弊社サイバネットシステムによるSynopsys社製品の販売およびテクニカルサポートは、2021年10月1日を以って終了させて頂きました。 2021年10月2日以降のSynopsys社製品の取り扱いは日本シノプシス社に継承致します。 Synopsys社製品をご利用のお客様には多大なご不便をお掛けしますが、何卒ご理解を賜りますようお願い申し上げます。また、これまでのご愛顧に篤く御礼申し上げます。 Synopsys社製品に関するお問い合わせは以下までお願い致します。 日本シノプシス合同会社 https://www.synopsys.com/ja-jp/optical-solutions/support/support-global-contacts.html なお、弊社では新たにAnsys社の光学製品の販売およびテクニカルサポートを開始致します。今後は是非こちらをご利用頂け
回転2次曲面 ┃用語集 ┃光学ソリューションサイト ： サイバネット
YZ平面内の曲線をZ軸回りに回転させて形成される非球面のことをいいます。YZ平面内の曲線の式は以下の多項式で表されます。
レンズ設計を行っています。コーニック定数は、どういった物理量ですか。k=O、K>0、k<0で説明して頂けるとありがたいです。また、どのよう... - Yahoo!知恵袋
コーニック定数(Conic Constant)というのは、 非球面レンズの非球面の度合いを表す定数です。 非球面のサグ量は４次以上の非球面項を無視した場合、 （すなわち２次曲面の場合）は下記の式で表されます。 Z=cx^2/(1+√(1-(1+k)c^2x^2)) この中でＫの値がコーニック係数と呼ばれているものです。 Ｋの値によって、レンズ面の形状がいろいろ変化します。 （ｃは中心曲率で1/rとも表記されることがあります。） Ｋ＜－１：双曲面 Ｋ＝－１：方物面 －１＜Ｋ＜０：楕円面（横長） ｋ＝０：球面 ｋ＞０：楕円面（縦長） となります。 コニック・コンスタントを使う理由は光学設計上の理由からで、 製造上はコニック・コンスタントを使わないほうが有利です。 このレベルの話になってくると、 Virendra N. Mahajanの Optical Imaging and Aberratio
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
