IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

geojsonパッケージのインストール

aesonパッケージの上のレイヤでGeoJSONを扱うためのパッケージです。 geojson: A thin GeoJSON Layer above the aeson library hackageでは2018/02時点で、1.3.1ですが、hackageにアップロードされているモジュールと、githubにあるモジュールに差異があるよ…

MySQLでのGeometry型のselect

テキストで取得 mysql-sql> select st_astext(geo) from geo_tbl; +--------------------------------------------------------------------+ | st_astext(geo) | +--------------------------------------------------------------------+ | POINT(30 10) |…

Gistのprivateとpublicの変換

privateなGistを作っていたとする。 Editを押す。 Make Publicを押すと、privateからpublicに変わる。

HaskellでMySQLの地理情報を扱いたい(2)

いろいろなGeometryのselectと、insertのサンプル Geometry Type Sample on MySQL

HaskellでMySQLの地理情報を扱いたい

まだコミットできるレベルにないけど、検証コードはできた。 A point geometry sample on MySQL

Haskellで地理情報を扱うためにGeosパッケージのインストール(2018年02月時)

gitからモジュールを取得しておきます。 git clone https://github.com/ewestern/geos.git 開発中のライブラリから使用したいので、そのプロジェクトにて、普通にインストールしようとすると、geosライブラリが不足しているためエラーになりました。 $ cabal…

関数のコンテキストの型はユニークに解決される

言われてみれば当たり前なのですが、これに嵌りました。 Num型を複数とる関数があって、Int型やDouble型などいろいろパラメータに与えたかったのですが、コンパイルエラーがとれませんでした。問題点をシンプルな例で示すと以下のようになります。 Num型を複…

git statusで追加したファイルが表示されない

新規に作成したファイルがgit statusで表示されず、少し焦りました。.gitignoreの指定対象になっていたようです。無理やりgit add``をしたところ、メッセージに教えてもらいました。.gitignore```の設定を修正しました。 $ git add src/DataBase/MySQLX/Expr…

MySQLのサンプルデータベースのテーブル定義

いつも忘れるのでメモ mysql-sql> use world_x; Query OK, 0 rows affected (0.01 sec) mysql-sql> show tables; +-------------------+ | Tables_in_world_x | +-------------------+ | city | | country | | countryinfo | | countrylanguage | +---------…

Haskellのソースコードの言語拡張をいい感じにフォーマットする

Haskellのコードの先頭に書くやつで、左側の({-#)は揃ってるけど右側(#-})を揃える {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE OverloadedLabels #-} …

Haskellでコンパイル時の特定のワーニングを抑制する

4.8. Warnings and sanity-checking To turn off any warning, simply give the corresponding -fno-warn-... option on the command line. replでは、 > :set -fno-warn-unused-do-bind でいけます。

Haskellのドット演算子(.)

f . gと書いたときにgの結果がfに渡されるイメージで、Unixの|パイプに例えられます。 *> :t (.) (.) :: (b -> c) -> (a -> b) -> a -> c 表現は正確ではありませんが、渡される結果が「1つ」でなくても、ドット演算子は使えます。 > let f = undefined :: b…

CPUの作り方

CPUの創りかた作者: 渡波郁出版社/メーカー: 毎日コミュニケーションズ発売日: 2003/10/01メディア: 単行本(ソフトカバー)購入: 35人 クリック: 445回この商品を含むブログ (193件) を見る 読者が具体的なイメージを持って理解出来るように、文章が工夫さ…

GhcLintでコードをチェックする

結果集計 $ grep "^src" doc/wk_lint_result.md | cut -d " " -f 4- | sort | uniq -c | sort -r 18 error| Suggestion: Move brackets to avoid $ 8 error| Suggestion: Redundant $ 7 error| Suggestion: Redundant bracket 4 error| Suggestion: Avoid la…

Haskellのエスケープ(\)の挙動

function \ string "a" "\a" "\\a" "\\\a" repl "a" "\a" "\\a" "\\\a" length 1 1 2 2 mapM_ print 'a' '\a' '\\''a' '\\''\a' show "\"a\"" "\"\\a\"" "\"\\\\a\"" "\"\\\\\\a\"" Haskell Escape

mysqlshでのアクセス

すぐ忘れるのでメモ $ mysqlsh -u root -P 8000 Creating a Session to 'root@localhost:8000' Enter password: Node Session successfully established. No default schema selected. Welcome to MySQL Shell 1.0.9 Copyright (c) 2016, 2017, Oracle and/o…

HeteroMapのサンプル

a hetero-dict sample

UART

UARTについて http://www.altima.jp/column/fpga_edison/uart.html UART / USART https://www.youtube.com/watch?v=FQpbIvhY7es UART = Universal Asyncronus Receiver-Transmitter USART = Universal Syncronus / Asyncronus Receiver-Transmitter RS-232 h…

FPGAプログラミング大全 Xilinx編 10章

FPGAプログラミング大全 Xilinx編作者: 小林優出版社/メーカー: 秀和システム発売日: 2016/12/15メディア: 単行本この商品を含むブログ (1件) を見る 手元の環境Vivado 2017.3と10章で書籍と少し違っていた点 P.503 図10-28 (a) IPの登録 P.504 図10-29 乗加…

hetero-mapの使い方

hackage.haskell.org hetero-mapパッケージを使おうと思ったのですが、サンプルが見つけられず、使い方に悩みました。 このようにして、型の整合はとれても、undefinedをつかっているので実行時にエラーになります。 *Main HeteroMap.Map> let k1 = undefine…

HaskellでFPGAの最小のサンプル

入力を反転するだけのコード Not gate コンパイル $ stack exec -- clash --interactive CLaSHi, version 0.99 (using clash-lib, version 0.99): http://www.clash-lang.org/ :? for help Clash.Prelude> :cd ../worka Clash.Prelude> :! ls Clash01.hs Cla…

ターゲット指定のcabalのrepl

cabalファイルで複数のターゲットを作り、cabal replすると起動ができなくなります。 $ cabal repl cabal: The 'repl' command does not support multiple targets at once. $ また、ターゲットの名前が重複すると起動しません。 $ cabal repl myprotobuf ca…

Haskellのドキュメント生成

haddockコマンド自体はディレクトリを指定してその配下にあるhsファイルを再帰的に処理してくれるオプションはないようです。xargsを使うのが手っ取り早いようです。 haskell - how to generate documentations with haddock? - Stack Overflow $ find . -na…

Implicit Parameters

Clashのプログラミングでサンプルを作り始めたところ、?変数名 :: 型というシグネチャが出てきました。 *> :t notM notM :: (?rst::Reset domain synchronous, ?clk::Clock domain gated) => Signal domain Bool -> Signal domain Bool Implicit Paremtersと…

2018/01時点のClash

Githubから取得してclashをインストールした場合、2018/01時点では、hackageにあるチュートリアルはのコード動かないようです。 CLaSH.Tutorial tutorialにあるソースをコンパイルするとパッケージがないとのエラーメッセージがでます。 Clash.Prelude> :l M…

FPGAプログラミング大全 Xilinx編でZyboを使うとはまるところ

FPGAプログラミング大全 Xilinx編作者: 小林優出版社/メーカー: 秀和システム発売日: 2016/12/15メディア: 単行本この商品を含むブログ (1件) を見る 5章、6章はソフトマクロCPU MicroBlaze の解説になっています。その解説は、ArtyとBasys3向けの説明になっ…

ZyboのLチカ以上のサンプルアプリ

www.instructables.com www.instructables.com

Zynq-7000 All Programmable SoC テクニカル リファレンス マニュアルを読む前の情報のポインタ

レファレンスマニュアル以前 HelloWorld的な情報 ZYBO (Zynq) 初心者ガイド (1) - Qiita ZYBO (Zynq) 初心者ガイド (2) - Qiita レファレンスマニュアル 2章 信号、インターフェース、ピン MIO - Multiplexed I/O 【Zynq】ZYBOでPSのMIOを使用してLチカして…

バージョンが異なるのでツールの微妙な差異があります。 書籍:Vivado 2016.2 環境:Vivado 2017.3 p.186 Add IPのアイコンが変わっている。 p.247 メニューから[Tools]->[Create and Package IP...]を実行 Package New IPに代わっていました。 p.261 そこで…

FPGAボードに電源を入れてみる

FPGAはここで購入しました。通販ではなく、実際に店舗に行って購入しました。店舗の雰囲気は初心者お断りの雰囲気があるのですが、店員さんは親切です。店の中をキョロキョロしていたところ、店員さんに声をかけられ、買いたい商品の型番を知らせると、すぐ…