タグ

ブックマーク / www.ishiy.xyz (2)

  • Formuraではじめる数値計算 - iLog

    はじめに こんにちは、ishiy(@ishiy1993)です。 この記事は CAMPHOR- Advent Calendar 2017 5日目の記事です。 今回は Formura を使いはじめるために必要なことを解説します。 Formuraの紹介 Formura はステンシル計算のためのDSL(Domain Specific Language)です。 ステンシル計算とは、配列として保持している状態を各点まわりの情報だけで更新していくような計算のことです。ライフゲームや偏微分方程式の陽解法がその例になります。多くの物理現象は偏微分方程式で記述でき、コンピュータを使って数値的に偏微分方程式を解くことは超新星爆発、重力波などの物理の探求や車、飛行機などの製品の開発で不可欠です。 しかし、これらの大規模な数値計算コードの開発は非常に労力のかかる仕事です。可能ならば、質的な部分(どういう方程式をど

  • HaskellのWeb系ライブラリ紹介 - iLog

    はじめに こんにちは、ishiy(@ishiy1993)です。 この記事はCAMPHOR- Advent Calendar 2016の11日目の記事です。 すでにHaskell Advent Calendar 2016の7日目の記事でHaskellのライブラリ紹介がありましたが、 Web関係に特化することで差別化をはかります。 ときどき「HaskellでもWebまわりできるんですね!?」というのを聞くのでいろいろなライブラリあるよというアピールをしたい。 以下では、僕が使用したことのあるライブラリを中心にサーバー、クライアントそれぞれを紹介していきます。 サーバー Webサーバー wai warp まずサーバーサイドの基礎になっているライブラリを紹介します。 waiはWeb Application InterfaceでApplicationという型を定義しています。 これが下で紹介するWA

  • 1