[SIMILAR] WITH 344 名前 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 snak WITH 1 ) WITH 1 むむ WITH 1 む… WITH 1 … WITH 1 どれ WITH 1 れだ WITH 1 だか WITH 1 かわ WITH 1 わか WITH 1 かり WITH 1 りま WITH 1 ませ WITH 1 せん WITH 1 んで WITH 1 でし WITH 1 した WITH 1 た。 WITH 1 。使 WITH 1 使っ WITH 1 って WITH 1 てい WITH 1 いる WITH 1 るお WITH 1 お名 の検索結果 87 件中 51 - 60 件目 (0.171158719 秒)
予報は出しているところによって、一日中晴れだったり、夕方から晴れだったり。朝は晴れていましたが、徐々に高層雲が張ってきて、完全に曇ってしまいました。 少し晴れ間が見え始めた14時過ぎにテイクオフしましたが、全くかすりもしませんでした。 ...
バグトラックですが、VERIFIEDにして送信しようとしたところ、 Following errors occurred. Please contact administrator. wrong argument type Object (expected String) (TypeError) Content-Type: text/plain Following errors occurred. Please contact administrator. wrong argument type Object (expec ...
# (スコア:23)
私が使おうとしていたca.pemはThawte Server CAの証明書を一番上に貼り付けて合計210KBぐらいでした。私のPCでエクスポートされたThawte Server CAの証明書自体はsnakさんに送っていただいたca.pemとおなじだと思うのですが、私が貼り付けたオリジナルのca.pemのサイズが大きすぎたのではないかもしれません。た ...
# (スコア:23)
Invalid TextXcodeのプロジェクトをEmcasからビルドするためのEmcas lisp。現在のディレクトリから上方向にプロジェクトとファイルを探しにいってビルドします。また、エラー出力も適当に切りだして、complilationバッファに出力します。 (defun search-ancestors (directory pred) (cond ((not directory) nil ...
# (スコア:0)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:0)
xyzzyでビルドするときには、C-x &でmakeするのですが、makefileとソースが別のディレクトリにあると、makefileのディレクトリにいってからビルドする必要があって面倒です。というわけで、親ディレクトリをたどっていって、makefileが見つかったところでビルドするコマンドを作ってみました。 (defun parent-d ...
# (スコア:0)
キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...
# (スコア:0)
Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedT ...
# (スコア:0)
Existential Quantificationは、 data Ex = forall a. Num a => Ex a のような形式で、Polymorphic Componentsは、 data Po = Po (forall a. Num a => a) のような形式です。 Exの方はデータコンストラクタを呼び出す時点で具体的な型が確定するので、 ex = Ex (1 :: Int) のようにできますが、Poの方はNumのイ ...
# (スコア:0)
今度はアニメーションをしてみます。アニメーションをするには、addTimerCallbackでタイマーを設定し、一定時間ごとに状態を変更してやり、その後にpostRedisplayでウィンドウに再描画の要求を出します。描画時には、状態を見て描く内容を決めます。 ちらつきなく書き換えるためにダブルバッファリングを有効に ...
# (スコア:0)
# (スコア:24)