世界最大の認証局Let's EncryptがOCSPサポート停止、企業ユーザーにも影響 2024.09.30
図解で学ぶネットワークの基礎
世界最大の認証局Let's EncryptがOCSPサポート停止、企業ユーザーにも影響 2024.09.30
Lightweight Language Spirit 2007
※ セッションの順番や時間は変更されることがあります。あらかじめご了承ください。 セッション内容 基調講演 今年は基調講演でスタートします。 LL魂の名にふさわしいソウルフルなスピーチを会場の隅々までお届けします。 講演者：和田英一（東京大学名誉教授、IIJ技術研究所所長） テーマ：ハッカー気質について 講演者紹介：和田英一氏は、日本のプログラミング分野のパイオニアとして知られ、「日本最初のハッカー」と称されています。和田氏が行った日本最初のコードハックであるパラメトロン計算機 PC-1におけるハッキングは、後に文学的作品とまで評せられました。また、プログラミングにとどまらず、和田研フォントの開発、Happy Hacking Keyboardの開発等、幅広い分野で活躍されてきました。「日本最初のハッカー」が語る「ハッカー気質について」、ぜひお楽しみください。 講演資料 司会: 法林 浩之
RELAX NG 日本語ポータル
RELAX NG文法からJavaへ変換する新ツールが公開 (2001/09/05) 岡嶋大介氏の手によるツールで、RELAX NG文法を読み込んで、その文法に従った文書をJavaオブジェクトにパースするためのJavaソースコードを生成するツールです。XML文書を読み込んでJavaで処理したい時にとても便利です。 RELAX NGの仕様が確定 (2001/08/11) これから２ヶ月間は公開レビュー期間ということで、実装者や利用者からのフィードバックを受け付ける期間です。この間特に問題が見つからなければ、現在の仕様のまま正式なOASIS公認の仕様になります。コメントは、英語で relax-ng-comment@lists.oasis-open.org に送りましょう。（場合によっては、日本語で relstdj@xml.gr.jp に送ってもらえれば、できる範囲で私が英訳して送ります。） RE
FrontPage - PRaggerまとめサイト それPra
2023-10-27 Powered%20by%20bellabook%20guestbook%20tramadol%20without%20prescription PluginList ?ÈÍÑÊýË¡ Powered by bellabook guestbook tramadol without prescription= 2022-09-15 FrontPage 2017-11-14 MenuBar 2017-05-22 RecentDeleted 2010-05-19 ダウンロード 2009-11-12 configFile 2007-09-16 InterWikiSandBox InterWikiName 2007-06-20 howToMakePlugin 2007-02-21 整形ルール WikiWikiWeb YukiWiki PukiWiki/1.4/Manual/Pl
IT戦記
みなさんお元気ですか？僕は少しだけ元気ではありません。じんわりとした夏の暑さを感じながらブログを書いています。 実は、数ヶ月前にスマートニュースという会社を退職しました。 しばらく無職 しばらくは就職せずに無職でいようかなと思っています。 すぐに再就職した方がいいんだろうな〜。とは思うのですが少し疲れたかも。 いい時代になったものだ 最近は AI の進化も素晴らしく、昔ソフトウェアで出来なかったことがどんどんできるようになってるなって感じます。 Rust とか、ちょうど欲しかった感じのプログラミング言語もあるし、 ChatGPT は完璧ではないけど何か新しいことを始めるときに素晴らしい洞察を与えてくれる。 時代は確実に良くなってる。そんな時代に「自分は働いていないくていいのか」と少し不安になるけれど、自由気ままにコードを書く、そんな時間が今あってのもいいのかなって思ってます。 オフトピック
OCaml プログラミング入門
OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま
Coq - PukiWiki
Coq † http://coq.inria.fr/ Coq は、INRIA にて開発されている対話的定理証明支援系です。 Calculus of Inductive Construction (CIC) を基礎とし、Tactics と呼ばれるコマンドを駆使することにより証明を行います。 ↑ メモ † インストールする Coq 本体 Proofgeneral 証明をやってみる 簡単なものから Tactics リスト 証明の裏で何が起こっているのか 証明の実例 理論的 background Dependently Typed Lambda Calculus Curry-Howard Isomorphism ぼちぼち書いていきます。 ↑
rhaco
ハゲてもかっこいい芸能人を見ていると、たとえハゲてもいろいろと諦めなくてはならないわけじゃないんだなあ、と実感しますよね。 今回はそんなハゲてもかっこいい芸能人をまとめてみました。 まずは今大人気の芸人さんであるトレンディエンジェルのお二人です。 「斉藤さんだぞ」の斉藤さんと、相方の須藤さんです。 お二人ともハゲであることをネタにして、笑いをかっさらっています。 Hさん トレンディエンジェルとか、ハゲで笑いをとってる人だよね。でも、そんなに好感度とか考えたことないなぁ。 Tさん 私はトレンディエンジェルってあんまり知らない。志村けんとか、芸人さんの場合はハゲの印象より面白いかどうかだよね。 ――（トレンディエンジェルの2人の写真を並べて）どっちのハゲに好感が持てますか？ Tさん こっちの（斉藤司）ハゲのほうがいい。 Rさん うん。バーコードみたいな髪は受け付けない。 引用元：育毛研究室 ハ
XUL Apps > Tiny Applications > 高橋メソッドなプレゼンツール in XUL リターンズ - outsider reflex
2005.10.5 2005.10.8 2005.10.20 2006.3.1 2006.3.3 2006.3.31 2006.4.14 2006.12.7 2006.12.11 2007.6.6 2007.6.7 2007.8.6 2007.11.26 2009.5.28 2011.10.2 これは何？ 高橋メソッドって何？ もんたメソッドって何？ これを使うと何がうれしい？ どうやって使うの？ インストール・設置 操作方法 構文 起動オプション ライセンス 関連サイト Home Back to XUL Tiny Applicationsｓ これは何？ まあ実際に見てみて下さいな。 高橋メソッド in XULの後継バージョンであるもんたメソッド in XULに手を加えていったらだんだんもんたから離れていってしまったので、敢えて原点に回帰して「高橋メソッドなプレゼンツール in XUL リ
Io notes :: Io notes
This site contains some notes about the Io language. It's not meant to be complete or authoritative in any way; rather, it's a collection of things I learned along the way. Some parts may be incorrect; as my knowledge about the language grows, these will hopefully be corrected in due time. The following sections are available (in alphabetical order): Call objects Conditions Curses Date and time Di
純粋関数型言語Concurrent Clean
純粋遅延関数型言語Concurrent Clean (Pure and lazy functional language : Concurrent Clean) 〜 The most functional language 〜 Concurrent Cleanは、オランダのネイメーヘン大学で開発している、純粋な関数型言語です。 メジャーな関数型言語としては、Lisp、Scheme、ML、Haskell等がありますが、それらに決して劣ることのない環境と言語仕様を持つ言語です。効率性・開発環境・言語仕様どれも最高位ではないかと思うくらいです。言語仕様的には、この中では、Haskellに一番似ているとされています（沿革的にはMirandaと言われる純粋関数型言語の中間言語から出発していますので、Mirandaに似ていると言う方が正確でしょうが）。 ここでは、著作者たるPlasmeijer教授
Rhino | MDN
Rhino はすべてが Java で記述された JavaScript のオープンソースな実装です。それは一般的には、Java アプリケーション環境へ組み込まれて、エンドユーザーによるスクリプトの記述が可能になります。J2SE 6 ではデフォルトの Java スクリプティングエンジンとして組み込まれています。 ダウンロード ソースとバイナリを取得する 方法。 ドキュメント スクリプト記述者と組み込み開発者への Rhino の情報。 ヘルプ 困ったときの いくつかのリソース。
ガチンコPnuts道場
注意:この文章は、Pnutsスクリプトを最初に学ぶ人たちのために作成しました。ガチンコPnuts道場ということで最初はすごく攻撃的な文体でいこうと考えていましたが、想像以上にしっくりこない上に感じも悪かったので、今回は単に「だ、である」調で通すだけにしました。予めご了承ください。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Runtime error
Typing Test English - 10FastFingers.com
http://iolanguage.com/about/
pnuts.org