プログラミング言語Egison
プログラミング言語 Egison - 直感をそのまま表現するパターンマッチング - Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。 リストや多重集合、集合、ツリー、グラフなどといった幅広いデータ型に対して、パターンマッチが記述できます。 それにより、Egison プログラマは非常にシンプルにプログラムを記述できるようになります。 -- 素数の無限リストから全ての双子素数をパターンマッチにより抽出 def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- 最初の10個の双子素数を列挙 take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)
ボコ：【Android開発】ウィジェットの作り方 開発０１ ウィジェットの始まり
ということにしておきます。何でもＯＫです。 ３．AppWidgetProviderを継承したクラスを作る ウィジェットは、AppWidgetProviderを継承して作ります。srcフォルダの中に、AppWidgetProviderを継承したクラスを新規作成します。普通のAndroidアプリでActivityを継承したクラスを作るのと同じ感覚です。Eclipseから作る場合、スーパークラスを「android.appwidget.AppWidgetProvider」にしておくと後の入力が少し楽です（ソースコードをコピペすると、あまり関係ありませんが・・・）。クラス名（＝ファイル名）は、「SampleWidget01」としておきます。次のようなフォルダ構成になります。 [ SampleWidget01 ] [ src ] [ sample.android.widget01 ] SampleWi
プログラミング│コカネット
タグ 古生物スクラッチゲーム宇宙ビーカーくん新型コロナウイルス段ボールIoT電子工作ジブン専用パソコンRubyロボットJavaScriptAI機械学習文房具燃焼算数物理地学化学生物数学その他那珂核融合研究所2019年6月号英語2020年10月号動画植物micro:bitでレッツプログラミング！発明ワクワクさんこと久保田さん人体STEMミライサイエンス元素PR天文森博嗣2019年1月号機械obnizでつくろうスマートホーム！KeyTouchでつくってあそぼうMESH3DプリンタースタディーノUnity阿部和広コンピューターQRコードプログラミング2020年8月号クイズ2020年9月号顕微鏡文具王高畑正幸恐竜ペットタッキー先生セミイベントしくみ原子・分子物質圧力エネルギー昆虫磁力紙飛行機2020年11月号KoKaイベント気象crefus子供の科学編集部2020年12月号はやぶさ2今福龍太言葉ス
プログラミング言語Sunaba
このページは https://hirasho.github.io/Sunabaに移転しました。 なお、念のため以下に2017/07/18時点での内容を残しておきます。 Sunabaを使わせる立場の方や玄人さんはこちらへどうぞ。 概要 プログラマ人生の最初の100時間を過ごすための言語です。 100時間経ったら他の言語に行く前提なので、極めて低機能です。 こんな感じのものを書いてプログラムを作ります。 0 < 1 な限り 横 → メモリ[50000] 縦 → メモリ[50001] メモリ[50002] ≠ 0 なら メモリ[縦 × 100 + 横 + 60000] → 999999 これは、簡単なお絵描きソフトです。これを メモ帳で書いて専用ソフトのウィンドウにドラッグアンドドロップするだけで実行できます。文法は2ページに収まります。 元々九州大学での講義のために作った言語ですが、 調子に乗
Google グループ
Google グループでは、オンライン フォーラムやメール ベースのグループを作成したり、こうしたフォーラムやグループに参加したりすることで、大勢のユーザーと情報の共有やディスカッションを行うことができます。
Androidのシステム設定をアプリから変更する方法
自作のアプリケーションからもAndroidのシステム全体の設定を変更する事ができます。 もちろんリファレンスに記載されている範囲で、ですけど。 変更できる内容をリファレンスで確認します。 -> Settings.System このあたりです 今回は、Galaxy Sの2.2.1以降で消えてしまった「スリープを無効にする(Stay awake)」という設定項目を変更するサンプルコードを載せます。 他の設定も同じ要領で変更可能だと思います。 パーミッションが必要になります。ご注意を。 android.permission.WRITE_SETTINGS /** * 設定を変更する * @param stay */ private void changeStayAwakeSetting(boolean stay){ ContentResolver contentresolver = getCont
Webサービス開発現場から / 近頃の開発のやり方 ･･･ Github と Pull Request とコードレビュー - naoyaのはてなダイアリー
先日プレスリリースが出たのですが、KAIZEN platform という会社で技術顧問などをやっています。それから、一昨日自分も出たWebアプリケーション開発に関する勉強会 (資料) を開いたじげんという会社でも少し前から同じように顧問のような形で携わっています。 自分が関わっている会社のPRも含めて、すこし、2013年現在のWebサービス開発の現場感、やり方みたいなものを書いてみたいと思う。ただ、自分の利益があるところの話だけではフェアではないので、Webエンジニアならよく知っているであろう Qiita を運営しているインクリメンツの様子も合わせて紹介する。 KAIZEN platform KAIZEN platform が提供しているサービスは planBCD という A/B テストの SaaS で、Webサイトのコンバージョンだとかを画面の構成要素を変えて効果測定したいとか、そういう
Path Transitions
When implementing realtime displays of time-series data, we often use the x-axis to encode time as position: as time progresses, new data comes in from the right, and old data slides out to the left. If you use D3’s built-in path interpolators, however, you may see some surprising behavior: Why the distracting wiggle? There are multiple valid interpretations when interpolating two paths. Here’s th
Rendr入門(1): Node.js + Backbone.jsでサーバ & クライアントを構築する"Rendr"の紹介 - Qiita
Rendr入門(1): Node.js + Backbone.jsでサーバ & クライアントを構築する"Rendr"の紹介JavaScriptNode.jsBackbone.jsExpress.jsRendr はじめてQiitaで記事を書いています。先日「Node.js + Express.js + Backbone.js」でサーバとクライアントの両方のシステムを構築する"Rendr"というウェブフレームワークを試しました。Rendrは、アメリカで人気のサービス"AirBnb"のチームが開発し、オープンソースとして公開したものです。クライアント側での採用事例は増えているBackbone.jsですが、サーバでの利用は珍しいのでは無いでしょうか。Rendr自体もまだ日本語での紹介例が無い事もあり、システムを紹介しつつ、使用感やメリット、そしてデメリットをメモしておこうと思います。 ※2回目を書
Amazon.co.jp: テストから見えてくる グーグルのソフトウェア開発: ジェームズ・ウィテカー (著), ジェーソン・アーボン (著), ジェフ・キャローロ (著), 長尾高弘 (翻訳): 本
仮想パネル: JavaScriptで非同期プログラミングを乗り切る方法
これに対して、CommonJSグループはPromiseという形でこれに答えている。これは任意の時点で、完了しているかもしれないし完了していないかもしれない、非同期に実行されるアクションの結果を表現したオブジェクトとのインターフェイスを提供する。この方法では、さまざまなコンポーネントが非同期アクションのためのpromiseを返すことができ、コンシューマは予測可能な形でそのpromiseを利用できる。また、Promiseは非同期性を支援するために構文上便利な言語レベル拡張のために利用される基本エンティティを提供することもできる。 Stratified JavaScriptはこれとは別のアプローチをとっており、JavaScript言語のスーパーセットを提供することで、この問題を解決している。しかし、使う言語を切り替えられないのなら、とるべき道はシーケンシャルなコードをエミュレート可能な、柔軟なA
第54回 マイIME | WIRED VISION
第54回 マイIME 2011年4月15日 ITハッキングデザイン コメント： トラックバック (0) フィードITハッキングデザイン （これまでの増井俊之の「界面潮流」はこちら） パソコンで日本語を入力する方法については長い研究開発の歴史があります。日本で最初のワープロのためにかな漢字変換方式が考案されたのをはじめとして、様々な種類の日本語入力手法が開発されてきました。 現在のパソコンで日本語入力するときは「Microsoft IME」「ことえり」「ATOK」などの日本語入力システムが広く使われています。これら以外にも各種の日本語入力システムが提案されたり販売されたりしていますが、その種類はあまり多いとはいえず、普通のユーザにとって選択の余地は大きくないのが現状です。 かな漢字変換システムのような高度な自然言語処理システムを作成するのは困難だということが、パソコンの日本語入力システムの種
良い乱数・悪い乱数
Ｃ言語標準ライブラリの乱数rand( )は質に問題があり、禁止している学会もある。 他にも乱数には様々なアルゴリズムがあるが、多くのものが問題を持っている。 最も多くの人に使われている乱数であろう Visual Basic の Rnd の質は最低である。 そもそも乱数とは 乱数とは、本来サイコロを振って出る目から得られるような数を意味する。 このような乱数は予測不能なものである。 しかし、計算機を使って乱数を発生させた場合、 次に出る数は完全に決まっているので、予測不能とはいえない。 そこで、計算機で作り出される乱数を疑似乱数(PRNG)と呼び区別することがある。 ここでは、特にことわらない限り乱数とは疑似乱数のことを指すとする。 計算機でソフト的に乱数を発生させることの最大のメリットは、 再現性があることである。 初期状態が同じであれば、発生する乱数も全く同じものが得られる。 このことは
mixi大規模障害について 解明編 - mixi engineer blog
こんにちは、システム本部技術部たんぽぽGの森本です。 先日のmixi大規模障害の原因となったmemcachedの不具合の詳細な解明ができました。 再来週まで発表を見合わせようと思ったのですが、早くお伝えしたほうがいいと思いましたので公開発表致します。 memcachedとlibevent memcachedはlibeventというライブラリを使用してクライアントからの要求(接続、コマンド送信)を処理しています。 libeventを使用するにはevent_baseという構造体を用います。 main threadはmain_baseを使用します。 static struct event_base *main_base; ... int main (int argc, char **argv) { ... main_base = event_init(); ... /* enter the ev
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ハッカーのたのしみ―本物のプログラマはいかにして問題を解くか: ウォーレン,ジュニア,ヘンリー・S. (著), 徹,滝沢 (翻訳), 貢,鈴木 (翻訳), 英夫,赤池 (翻訳), 毅,葛 (翻訳), 順久,藤波 (翻訳), Warren,Jr.,Henry S. (原名): 本
Top Down Operator Precedence
https://github.com/momodalo/vimtouch/tree/master/src/net/momodalo/app
How to Design Programs
「数学の研究にコンピューターを用いるべきか？」：学会を二分する問いについて
The Eucalyptus Open-source Cloud-computing System Daniel Nurmi, Rich Wolski, Chris Grzegorczyk Graziano Obertelli, Sunil Soman, Lamia Youseff, Dmitrii Zagorodnov Computer Science Department University of California, Santa Barbara Santa Barbara, Californi