タグ

2014年7月8日のブックマーク (8件)

  • Hello! Welcome to Synology Web Station!

    Web Station has been enabled. To finish setting up your website, please see the "Web Service" section of DSM Help.

  • Writing mikutter plugin

    mikutterプラグインの導入方法、開発方法のドキュメントです。 About このドキュメントについて Example プラグインのサンプルと解説です。プラグインの開発方法を学びたい人は、このドキュメントから読むことをおすすめします。 mikutterの薄いvol.1に掲載されていた原稿を元に書かれています。 Reference やりたいことから方法を引くことができるリファレンスです。 共通 プラグインの作成支援機能 プラグインをインストールする

  • 折り紙公理 - Wikipedia

    折り紙公理(おりがみこうり、折紙公理)は折り紙幾何学の一連の規則であり、紙を折るときに理論上厳密に可能である、基的な操作を記述している[1]。紙の厚さは無いものとし、伸縮しないものとする[1]。折りの操作は平面で完結し、全ての折り線は直線であると仮定する[1]。折り紙公理は数学的な意味での公理の要件を満たすものではない[要説明][1]。 公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された[2]。その後公理1から6は藤田文章によって1991年に再度発見された[3]。また、公理7は羽鳥公士郎によって2001年に再発見された[4]。またロバート・J・ラングも公理7を再発見している。 7つの公理[編集] 公理1から6は藤田の折り紙公理として知られる。公理7は羽鳥公士郎によって再発見された。公理は以下である: 2点p1, p2が与えられたとき、2点を

  • 折り紙と方程式

    1.折り紙と2次方程式1.1 等比中項 正数a,bの等比中項は,点Qを支点として点Eが直線l2上にくるように折ったとき直線lとの交点として得られます. ただし,EO=a,OQ=b,直線l2は直線lに関して直線l1と線対称とします. 1.2 方程式x2=a(a>0)の解 EO=1として,上と同様の方法で求めることができます.(図2) ただし,点Eをl2にのせる折り方は2通り考えられ,解は2つ存在することが分かります. (別紙「平方根を作図する」=数学玉手箱=早苗雅史(札幌稲北高校)参照) 1.3 方程式x2-ax-b=0 の解 図3のように,点Q(b,a)をとりQを支点として点Eが直線l2にのるように折ると線分EP,EP’と直線xとの交点が求める解になります. このことは,点H(0,p)とすると,直線HQの方程式は x=-t/p+p であり,点Q(b,a)を通ることから a=-1/p×b+p

    折り紙と方程式
  • Billiard-ball computer - Wikipedia

  • Ruby Programming Language

    Ruby is... A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. Download Ruby or Read More... Ruby 3.3.0 Released We are pleased to announce the release of Ruby 3.3.0. Ruby 3.3 adds a new parser named Prism, uses Lrama as a parser generator, adds a new pure-Ruby JIT compiler named RJIT, and many

  • オブジェクト指向スクリプト言語 Ruby

    Ruby 3.3.0 リリース Ruby 3.3.0 が公開されました。Ruby 3.3ではPrismという新しいパーサーの追加、新しいパーサージェネレーターであるLramaによるBisonの置き換え、RJITという新たなJITの仕組みを追加、YJITの高速化など様々な改善が行われています。 もっと読む... Posted by naruse on 25 Dec 2023 Ruby 3.3.0-rc1 リリース Ruby 3.3.0-rc1 が公開されました。Ruby 3.3ではPrismという新しいパーサーの追加、新しいパーサージェネレーターであるLramaによるBisonの置き換え、RJITという新たなJITの仕組みを追加、YJITの高速化など様々な改善が行われています。 もっと読む... Posted by naruse on 11 Dec 2023

  • reroom [リルム] - 部屋じまんコミュニティ -

    ごはんをたべて、ごろごろする部屋。 こたつに入って、ローソファーでごろごろしつつを読むのが至福のひとときです。

    itchyny
    itchyny 2014/07/08