|
|
|
|
|
||
|
||
0 votes
0 answers
16 views
Is the following problem in $P$?
complexity-classes
Hanchun Yuan
21
asked 2 hours ago
answered 4 hours ago
59 views
answered 5 hours ago
392 views
modified 19 hours ago
answ
836,155 hits
WordPress.com Blog.
■anond:20250419222728
その言い方、さては本当はそれが重要な仕事と思っているだろう？
Active 9 Bountied Hot Week Month
4 votes
3 answers
2k views
Are countable unions of metrizable spaces metrizable too?
gn.general-topology
Jakobian
1,663
3 votes
102 views
To find some sufficient condi
24,235,522 questions
What the loss function will be to guide the pytorch model to output matrix meet the standard gaussian distribution？
I want to train a PyTorch model to generate output matrices tha
OpenAIが文字起こしと音声合成用の新音声モデルを発表
Icon
instructlab.aiは、合成データを使用して大規模言語モデル（LLMs）の微調整の複雑さを軽減する
■ Active! mail 6の脆弱性に関する重要なお知らせ
(クオリティア, 2025.04.18)
Active! mail 6 に 0-day 欠陥。
stack overflow する欠陥があり、
remote から任意のコードを実行できる。 CVE-2025-42599
Active! mail 6 BuildInfo: 6.60.06008562 (2025.04.16 公開) で修
Topological Abelian Groups
Posted on 18 April 2025 by John
This post will venture further into abstract mathematics than most of my posts. If this isn’t what you’re looking for, you might try browsing
旅立ちの序曲
RubyKaigi 2025 始まったようで。 Q 日本語版のうぃきぺ CONFIG.SYS - Wikipedia には LASTDRIVE=(A-Z) - 最後に使用するドライブ識別文字。省略すると “P” が仮定される。 というのがあるのだけど 英語版
2025-04-17
■
帰ってきました。
研究雑記などを書くためにresearchmapの研究ブログを使っていたのですが、最近、researchmapがブログ機能を見捨てつつあるように感じているので、移転先を探しています。とりあえず、ここも復活させます。どう使うかは未定です。
wd0 2025-04-17 18:21 読者になる
広告を非表示にする
もっと読む
コメントを書く
帰ってきました。
Branding
Hugh says I often wonder where my disaffection came from. What compelled me to once write “Branding Is Dead” etc. I’ll tell you why. I dont like branding. I don’t
27 May 2006
Idea Zoos vs Ide
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
人力検索はてな 日記 (265)
outlook.jp outlook.com hotmail.com 不達問題は解消しました。
◆ずっと続く金融危機と世界経済転換
【2025年4月17日】ドルや米国債が崩壊していく中で、非米側諸国は、ドルに替わる国際決済体制として、ふだんは各国の自国通貨を相互に使い、長期的な貿易不均衡を金地金の受け渡しによって決済するやり方を採り始めている。今回トランプが高関税策で世界を揺さぶり、ドル崩壊が、
2025-04-17
n角形の対角線とペースティング図
雑記／備忘
ペースティング図は、2-圏や二重圏内に描かれた図式〈diagram〉です。1-圏でも、射のあいだの等式を2-射とみなせば2-圏になります。そして、1-圏のペースティング図は可換図式なのです。圏論ではペースティング図（可換図式含む）を多用しますが、ペースティ…
2025-04-16
関手のテンソル積、米田拡張、位相実現〈幾何実現〉
de Sitter
Permanent link to this comic: https://xkcd.com/3077/
Image URL (for hotlinking/embedding): https://imgs.xkcd.com/comics/de_sitter.png
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
人力検索はてな 日記 (265)
2025-04-12
_ 1789
明治座で1789。明治座は初めてで、帝国劇場の建て替えがなければおそらく一生縁がなかったと思う。完全に歌舞伎仕様なので左右席は舞台ではなく中央座席を向いているし、花道が作りやすいようにしているからだろうが座席はほとんど傾斜がない。が、列間は結構空いているし、背もたれは低いが別に舞台が見にくいわけでもなく、それほど悪い劇場ではなかった。ただ、2階がやたｒと1階にせ
2025-04-14 「ニュートンの式」軽妙な入門 ライヒシュテインによる
普通に考えると、例えば「3次式の三つの根をそれぞれ3乗して足し算」ってだけで、ややこしそう。ところがニュートンの式は、それよりはるかに抽象的。一般の m, n について「n 次式の根の m 乗和」を扱う。いかにも複雑そう…
式が役立つ場面は限られてるものの、内容を理解すること自体は、意外と易しい。ライヒシュテイン（Reic
Create a free website or blog at WordPress.com.
「酔いも醒める大痛手」 酒類値上げ、酔拳道場をクリティカルヒット
新年度に入っても食料品の値上げはやむ気配を見せず、今春の値上げは４千品目を超えた。そのうち１千品目を占めるのがアルコール飲料。その値上がりの余波は思わぬ場所に及んでいた。酔拳道場だ。... 続きを読む
Microsoftが二度の延期を経てついにCopilot＋ PC向けにRecallのリリースプレビュー版を展開
04月14日19時00分ソフトウェア
2025年4月14日のヘッドラインニュース
04月14日18時55分ヘッドライン
欧州委員会委員長が「トランプ関税」交渉の不調時はGoogleやMetaなどのデジタル広告収入に課税する「報復関税」実施を示唆
04月14日17時00分メモ
Click to share on X (Opens in new window) X
Click to share on Facebook (Opens in new window) Facebook
Click to share on Reddit (Opens in new window) Reddit
Click to share on LinkedIn (Opens in new win
Apr. 2025
Last Modified: Sun Apr 13 20:23:20 UTC 2025
あ~~ 2025-04-14 [Mon] 05:08
またもや (マタミャー)
油断していたら2習慣もニッッキを書く週間が無かった由。
これには理由 (といえばいえるもの) があるのだ。
まず、寒かった (サムい日は夜中に起き出して PCなんぞいじってられない) ということ。
それから仕事で
Blog at WordPress.com.
Scala type level encoding of the SKI calculus
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
2025年04月09日12:00
カテゴリ
ChatGPT
漫才
さらにChatGPT漫才の続き
フリップ漫才：「女子あるある図鑑 ～観察者Ｂ美による記録～」
（登場）
Ｂ美：（スッとフリップを持って登場）こんにちは。本日は、私が長年蓄積してきた“女子に見られる行動傾向”を分類・分析した図鑑をご紹介します。
Ｄ菜：……え、ちょっと待って。なに？あたしの知らんとこで女子観察してんの！？
Ｂ美：（無感
CubePDF 4.2.0 をリリースしました。修正・変更点は下記の通りです。 Web 表示用に最適化する機能を削除 その他の修正 CubePDF 4.3.0 以降の更新 4.3.1 (2025-04-09) 4.3.0 (2024-12-20) Web 表示用に最適化する機能を削除 PDF ファイルは通常、最初にファイ…
2025-04-08
ちょっと愚痴。上手く頭が動かないので。
最近睡眠が足りてないのか、ちょっとうまく集中できない。久しぶりに作業できる日なのに。それでも連続６時間くらいで、生活をしながら色々とするのは本当に難しいと思う。
どうにも集中するのに時間がかかる性質で、そしてそれは、人間が生まれ持った性質に当たる部分で、どうにも直すことができなかった。直らない性質のものなのだと思う。
そういうわけで、本
keisuken, 2025/04/07 23:03:47
木 +一瞬で治療...治癒師、闇ヒーラー 23:30-00:00 BS11 3 1,2
金 +ユア・フォルマ 23:30-00:00 BS朝日 1 1,2
土 *薬屋のひとりごと 22:30-23:00 BS日テレ 1 1,2
日 +俺は星間国家の悪徳領主! 02:00-02:30 KSB 3 1,2
日 +男女の友情は成立する? 23:
ドナルド・トランプを支援したビッグテックの効果的加速主義者は、50口径のスナイパーライフルで自分たちの足の指を一本一本しっかりと撃ち抜いた
マイクロソフトのケヴィン・スコットCTO曰く「コードの95％はAIが生成するようになる」
テクノロジーによる「注意力の危機」が煽られてるかはともかく、ヨハン・ハリの『奪われた集中力』が出る
新曲を出したWet LegとWindows 95ライクなデザインのウェ
# posted by Philip Wadler @ 10:07 PM 1 comments
■ 追記：一部訂正（4月5日）
「連載論文(6)〜(9)の4本」を読み込ませていたつもりだったが、よく見たら、誤って(7)は違うファイル（校正時に作成した追記分の短いファイル）を入れていたことが判明。
Claudeのプロジェクトナレッジの設定
結果として1970年代前後の米国発の話などが含まれていなかった。「data subject」の誤訳の話だけ持ち出してくるのは変だなとは思った。
というわけで
全てのRPGファンに贈るレトロテイスト満載の8bit風本格ダンジョンクロウルRPG 『Crescent Tower-クレセント・タワー-』Steam版がAMATA Gamesで2025年リリース決定!（2025/4/1）
あまたが運営する、インディーゲームパブリッシングブランド『AMATA Games』において、2025年にSteam版の『Crescent Tower ～クレセント・タワー～』の配
中居正広の事件。フジテレビの第三者委員会の調査資料PDFは、アンテナハウスの瞬簡PDF作成を使用しているそうです ― 2025年04月04日 10時25分06秒
ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
４月１日に、X(旧Twitter)で、偶然、流れてきましたが、エイプリル
アジコさんからマッチョだと言われてしまった件について
パラドゲーを越えてきた世界
2025-03-29
長女の外出恐怖
育児 不登校
前回精神科にて、セロトニン再取り込み阻害薬の処方には本人の治したい意思の確認が必要だと伺ったので、妻がそれとなく長女に「外出しても怖く無くなる薬を飲む?」と聞いた。私の予想では長女は意味もわからずお母さんの言う事だから同意すると思っていたが、予想外に残念な結果に終わった。
長女ははっきりと「飲みたくない」と言った。「今は家の外に出るのが怖いから、
Access
Login to Klarity
Get Help
Trust Center
Access
Login to Klarity
Get Help
Trust Center
Trust Center
Help Center
Access
Login to Klarity
Get Help
Trust Center
Access
Login to Klarity
Get Help
Trust Center
Trust Center
Help Center
トップページ
タグ
About me
トップページ
カテゴリー一覧
タグ一覧
リンク
サイボウズ・ラボ
Cybozu Tech
記事
このレイオフは存在しない - 架空のCEOのレイオフメッセージをAI生成
2023年2月13日
Screenstab - スクリーンショットを斜め視点に変換してくれるサービス
2023年2月10日
GPTravel Advisor - OpenAIのAPIを使った旅
ソースコード全体: https://github.com/yoshihiro503/rocq-amidakuji
2025-03-14
Encrypted Client Hello の実装
TLS
ECHをHaskell tlsライブラリに実装した話。先に「Encrypted Client Hello の仕様」を参照のこと。Haskellで実装した経験談なので、Haskellの知識を前提に書く。
ライブラリの構成
バックエンド・サーバの設定情報である ECHConfigList は、DNSを通じて提供され、T
2025-03-13
クロノトリガーの封印の扉
たまにはレトロゲーの話でもしましょうか。
クロノトリガー発売されたのは30年前の3月11日だそうで、1995年といえば奇しくも阪神大震災の年ですね・・・
クロノ・トリガーは封印されていて開けられない宝箱を調べた際に流れるジングルが妙に怖かった思い出があるｗ
— ☪️ゆう🦄 (@auqser) 2025年3月11日
クロノトリガーの封印された箱なー、あ
雑談用ストーリー [4] 1180
Current Events (38)
History (19)
Mathematics (133)
Wolfram Language (311)
Current Events & History
What’s Up with Daylight Saving Time? A Brief History and Analysis with Wolfram Language
March 5, 2025
この広告は90日以上新しい記事の投稿がないブログに表示されております。
この広告は、90日以上更新していないブログに表示しています。
3月4
日本化学会年会にて講演をいたします
さとうです。久々のブログです。
さてこのたび、日本化学会年会の「市民公開講座 自然と対話が紡ぐ化学の未来」というセッションで、お話をさせていただくことになりました。一般市民対象の講座で、現地のほかオンライン（Zoom経由）でも聞いていただけることになっています。申込みや詳細はこちらから。
開催日：2025年3月29日 13:00-15:40
参加費：無料
最新記事
成長組織で取り組むべき「標準化」について
CTOやVPoEと違いEMには再現性がある
EMに転職して1年と5ヶ月が経ちました
リーダーを簡単に辞めさせる方法
株式会社gumiを退職しました
月別アーカイブ
▼ ▶
2024
2024 / 12
▼ ▶
2023
2023 / 12
▼ ▶
2022
2022 / 1
▼ ▶
2016
2016 / 3
2016 / 2
▼ ▶
2014
go.jpサブドメインが不正利用可能な状態だった件について
足裏で気持ちが変わる！
2025/1/20 月曜日
記事を読む 足裏で気持ちが変わる！
結婚式の「一生愛し続ける」に隠れた真意。
2025/1/20 月曜日
記事を読む 結婚式の「一生愛 ...
聞き上手になる最短の方法！
2025/1/20 月曜日
記事を読む 聞き上手 ...
広告に文句を言う人にたいして思うこと。
2025/1/20 月曜日
記事を読む 広告に文 ...
「お尻をシメる」だけ
2025 著作権. 不許複製
朝比奈イズミは静かなクリスマスを過ごしたい (終)
2024年12月（3件）
2020-04-16
３０年目の書籍化 ～ 現代経済学の直観的方法
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email
Great Mods Tweaxboxapp.Com Minning Coins working tools tweaxboxapp.com Best Tools for : tweakbox app, tweakbox apk, how to install app free for ... TweakBox App ( iOS and Android ) TweakBox Ap
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Email
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
Sunday, 10 June 2012
Monday, 30 April 2012
Monday, 23 April 2012
Sunday, 25 March 2012
Sunday, 18 March 2012
Saturday, 3 March 2012
Friday, 10 February 2012
自作のなんちゃってフレームワークでブログを作りました
2024 / 10
出願手続きは共通ポータルがあって、全部オンラインでできる。高校では秋学期に進学向けのクラスがあって、その中でアドバイスを受けながら基本的には本人が自力で進める。
エッセイは結構重要らしいんだけど、これは自分には勘どころがわからない。ただ、進学クラスで綿密に練っていて、最終稿を見せてもらったけどなかなか良く書けていた。日本語でエッセイというと随筆みたいな印象だけど、こちらではどっちかというと小論文。
この広告は、90日以上更新していないブログに表示しています。
それでも10進小数をデフォルトにすることは意味がある
ご訪問いただいたお客様へのお知らせ
Information for customers visiting this Web site from SpinNet
アクセスいただいたWebサービスは提供を終了いたしました。
長年にわたり、多くの皆様にご利用いただきましたことを心よりお礼申し上げます。
SpinNetトップページへ
The Web service you are trying to ac
Bug Catharsis
camlspotter’s blog
読者になる
らくがきえんじん
読者になる
Return to Saisse’s Wiki
読者になる
Yet Another Ranha
読者になる
λx. x K S K ＠はてな
読者になる
rabbit2goのブログ
読者になる
ひとり勉強会
読者になる
闘わないプログラマ Version 3.1 SP2
読者になる
cranebirdの日記
読者になる
思っているよりもずっとずっと人生は短い。
読者になる
keigoiの日記
読者になる
squeakerのブログ
読者になる
hagino3000's blog
読者になる
さよなら絶望官僚
読者になる
みずぴー日記
読者になる
Life Goes On
読者になる
MoCo7の日記
読者になる
chiguriの生態（嘘や誇張アリ）
読者になる
菊やんの雑記帳
読者になる
西尾泰和のはてなダイアリー
読者になる
nekop's blog
読者になる
この広告は、90日以上更新していないブログに表示しています。
ならば
読者になる
Gemmaの日記
読者になる
novtan別館
読者になる
kencobaの日記
読者になる
osiire’s blog
読者になる
うっくつさん本を読む。
読者になる
potasiumchの日記
読者になる
マクロツイーター
cocoatomo衝動日記〈移行後版〉
読者になる
kururu_goedel’s diary
Cafe Babe
読者になる
nushio's diary
読者になる
Space-filling curves, constructively
30 January 2024
Andrej Bauer
Constructive math, Gems and stones
In 1890 Giuseppe Peano discovered a square-filling curve, and a year later David Hilbert published
tanakh 2020-08-31 03:29 読者になる
#PKI
#Firefox
#SSL
#TLS
#CRL
#失効検証
#OCSP
#Chrome
#CRLite
#CRLSet
2023-12-28
2023年のお仕事まとめ
2023 / 12
Smalltalk-72で遊ぶOOPの原点：組み込みコレクションにeach変数が使える「do」を新たに追加する
Behavior bigint.parse from hex values.
question
I was creating a function to parse from hex value to bigint and noticed something "weird":
(The function takes a 6 length string and does the parse over
Lichess & Scala 3
lichess.org/@/thib...
sbt 2.x remote cache (an extended PR description)
eed3si9n.com/sbt-re...
ducktape 0.2.0-M2 is out with massive UX and QOL changes
github.com/araink...
Try it ou
Vote
The OCaml Weekly News for 2023-12-19 is out
alan.petitepomme.net/cwn/20...
Vote
share
save
Do polymorphic variants use isorecursive or equirecursive types?
Trying to write my own datatypes system
24 points
20 points
Polyhedral Analyses using MLIR's Affine Dialect (contd.)
Efficient OCaml compilation with Flambda 2 [OCaML'23]
youtube.com/watch?...
Good collection of mini -> macro parsing problems
I am looking for
Vote
Building an Arithmetic Expression Parser
joshcbrown.github.io/posts/...
Vote
share
save
1 point
4.6k
Every Git Command I Use (Cheatsheet)
wizardzines.com/comics...
share
save
1.6k
44,857 members
91,399 members
584,810 members
357,214 members
332,913 members
1,182,760 members
29,930 members
215,737 me
Posted by geophf at 10:54 PM No comments:
ただただし t@tdtds.jp プログラマ、Webアクセス解析士を経て、現在はセキュリティエンジニア兼エンジニアリングマネージャ。
学生時代からフリーソフトウェア開発に関わりはじめ、かれこれ30年。RubyではWebアプリケーションを中心に開発。tDiaryプロジェクト創始者。
妻1人、猫2匹。
READMEに書いてる通りですが、いわゆるClean architectureなど多層構造のアプリケーションではどうしても似たようなオブジェクトを定義せざるを得ないことがあります。
特にキツい(?)のがgRPCを採用した場合ですね。 protocが吐く構造体は完全にprotobufに依存したものになっておりある程度層をまたいで同じオブジェクトを持っていくのは許容しよう、と割り切ってもこれをいわゆる
[103] Comments
[426] Comments
[423] Comments
[474] Comments
[510] Comments
[126] Comments
[461] Comments
[95] Comments
[458] Comments
[447] Comments
[458] Comments
[491] Comments
Platonic C# - Managing Referential Transparency through Unique Types
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around default
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 /
このドメインを購入する。
zive.net
2023 著作権. 不許複製
プライバシーポリシー
kencobaですtmiyaさん会場調整ありがとうございます！ 私、現状だと平日夜参加ですねー。 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:
kencobaですtmiyaさん会場調整ありがとうございます！ 私、現状だと平日夜参加ですねー。 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:
小林です。 お、ちょ
Posted by Jim McBeath at 10:28 PM 0
Posted by Jim McBeath at 9:24 PM 0
Posted by Jim McBeath at 3:31 PM 0
Quest Pro + VFX Graph https://github.com/keijiro/QuestTest
November 7
Development environment for the STM32F4DISCOVERY board on Mac OS
Date: 2012-06-16
Tags: electronics tools
This is just a quick post with information on how to
get up and running with a development env
العربية
Azərbaycan dili
Deutsch (Sie)
Deutsch (Schweiz)
English (South Africa)
English (UK)
Español de Chile
Español de México
Español de Guatemala
Español de Venezuela
Français du Canada
Nederlands
P
March 2022
Moving
WSL2
「ハイブリッド勤務」にむけて
Too Obvious To Innovate
January 2022
Off Notes
December 2021
2021 Outside Work
November 2021
Restarting Extra Curricular
Book: The Second Shift
Webcam
横書き日記 - 完了
https://www.unixuser.org/~haruyama/blog/ に移転しました http://wiki.livedoor.jp/haruyama_seigo/d/FrontPage @haruyama タイトルが思いつかないときはそのときかかってた曲をタイトルにしています.
© 2005-2022 Naoto Takai
『Valorant』ランクマッチ参加条件を「レベル20以上」に変更。スマーフ対策強化
習熟期間云々…はきっと建前
NASA宇宙服素材で-196℃の冷気も断熱。冬のスポーツやアウトドアに最適な「エアジャケットPlus」
GREEN FUNDINGとのコラボ特集です
正しい言葉を探し出せ！ネコ島を発展させる『単語パズルで島作り』：発掘！スマホゲーム
脳トレしながらネコ島を盛り上げよう
Copyright (C) 2001-2022 Hatena. All Rights Reserved.
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
There’s nothing here.
Whatever you were looking for doesn’t currently exist at this address. Unless you were looking for this error page, in which case: Congrats! You totally found it.
Log in Sign up
Not Found
The requested URL /services/connect/profile_module was not found on this server.
404
お探しのページは見つかりませんでした。
はてなブログ トップ
はてなブログ ヘルプ
Your PHP installation appears to be missing the MySQL extension which is required by
windows (1)
Home
CV
Talks
Contact
Archive
Submit Change
了 Tony’s Blog 了
Recent posts
Error-handling with classy optics in Scala May 12, 2020
Van’s Aircraft Factory visit 2019-06-10 June 13, 2019
Circumventing Aus
読者になる
これはオーム社で買っ
読者になる
hirax.net::inside out
最新記事(inside out)へ | 年と月を指定して記事を読む（クリック!）
2000/ 01月- 02月- 03月- 04月- 05月- 06月- 07月- 08月- 09月- 10月- 11月- 12月- 2001/ 01月- 02月- 03月- 04月- 05月- 06月- 07月- 08月- 09月- 10月- 11月- 12月- 2002/
http://return0.info/note
return0 note
2019-06-30 †
私生活で色々あり過ぎて長らく放置していたので何から書くべきかわからんぐらいだが、とりあえず直近での出来事を書くと、
Lycanthrope名義以外にも妹とのユニットでも音楽活動を始めた。（https://blackashes.bandcamp.com）
M3への参加とかもろもろ考える
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
Copyright © 2021 niche computing science | Powered by Astra WordPress Theme
はてなブログ アカデミー
法人プラン
OSSコミュニティ支援プログラム
学校支援プログラム
クリエイターのためのはてなブログ
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする。
open i
はてなの各サービスの告知日記です。
WebMoneyによるカラースター購入および、ちょコム・銀行振込などによるポイント購入を廃止予定です
カテゴリー
はてなの日記 (629)
はてなアイデア日記 (600)
はてなグループ日記 (467)
はてなフォトライフ日記 (275)
人力検索はてな 日記 (254)
はてなアンテナ日記 (247)
はてなRSS日記 (241)
はてなカウンター日記 (16
ニセ科学商品バイオラバーについてのまとめ..
本郷レコード 頑固な店主が誘う
クラシック音楽の世界
バロックから現代音楽まで、幅広いコレクションを揃えているだけでなく、頑固な店主の性格からは想像もつかない検索性を兼ね備えたクラシック専門の音楽アプリ
“Pick any country that is currently doing well, China is a perfect example. In China the Intellectual Property Laws are so weak that someone thought it was a good idea to completely replicate Ap
NanigaC.com © 2020 DropCatch.com
だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〓dy {
数学文章作法 基礎編
投稿日時: 2014年8月28日 投稿者: inquisitor
結城浩『数学文章作法 基礎編』（筑摩書房, 2013）（参考文献リストあり・索引あり）
『数学ガール』で独自のジャンルを打ち立てた著者による文書読本。〓文章の書き方を学んだことのないすべての人向けの部分（1〓3と7, 8章）と、〓数式を含む文章を書く人向けの部分（4, 5章）、〓教科書のようなものを書く人向けの
老猫一匹との隠居暮らし。著書に「測度・確率・ルベーグ積分」(講談社)、訳書に「世界を変えた手紙」（デブリン著/岩波書店）など。
bkブログ
プログラミングやバッドノウハウについてのブログ
2004-2011年に書いていたブログのアーカイブです。
机の上のもののワイヤレス化 - Microsoft Arc Keyboard の導入
iPodは何を変えたのか? 人が問題にぶち当たったときには、どうするか?
ソフトウエアの肥大化について、の続き
ソフトウェアの肥大化について
ある程度の年齢を迎えたプログラマが抱える悩み
Unic
© 1999 – 2019 Google
このドメインを購入する。
私が NTT を辞めた件に関しては、これまで色々なところで話しては来たのですが、まとまって文章にしたことがなかったので、これを機会に書くことにしました。普段ならメルマガ（週刊 Life is beautiful）の読者限定で書くところですが、今回だけは、出来るだけ多くの人に読んで欲しいので、ブログ記事として公開します。
【追記】この記事のおかげで、私のブログに初めて触れる方も多いようで、嬉しい限り
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。
Not Found
The requested URL /doesnotexist/ was not found on this server.
ページが見つかりません。
ブラウザで再読み込み(Reload)や再起動していただいても表示されない場合は、 URLが間違っているか、
ココログ開設者がココログを閉じた可能性があります。
ココログトップへ戻る >>
個人情報保護ポリシー
©2008 NIFTY Corporation
2000年から日替わりでドットコムを紹介しつづけた『100SHIKI』
センター紹介
行事のご案内
刊行物
報道発表
職員募集
交通案内
申請窓口案内
Top - 健康危機管理情報課 環境情報担当のページ - 東京都の花粉情報 - 草本花粉観測結果について
草本花粉観測結果について
〓
スギ・ヒノキ花粉の観測は終了しました。
平成30年草本花粉の観測結果はこちらをご覧ください。
本ホームページに関わる著作権は東京都健康安全研究センターに帰属します
© 201
Common Lispからweb browserを操る
12月 27th, 2017
Web browser (以下、ブラウザ) 上でのちょっとした作業を自動化したいことは時折あると思います。そういった自動化をCommon Lispで出来ないものかと思い、色々と調べながら試してみました。
Selenium
テキトーに調べた所、Seleniumというのを使うと簡単にブラウザ上での作業を自動化できるよ
「Firefox 52」安定版公開、Webアプリを飛躍させる新技術のサポート開始 [10:57 3/8]
新・OS X ハッキング! 第185回 Sierraで消えたFinder関連の便利機能を復活させる [10:00 3/8]
新・OS X ハッキング! 第185回 Sierraで消えたFinder関連の便利機能を復活させる
Apple Payが86%の国内発行クレジットカードで利用可能に -
〓
Explore other Stack Exchange communities
on stackexchange.com
This page is an archive of this blog, and is presented for historical purposes only.
Wolfgang Jeltsch: Yet another Grapefruit update
Mark Jason Dominus: Automatically checking for syntax errors with Git's pre-commit hook
Michael Snoyman: Better Exception Messages
※対応しているRSSフィードのURLをご入力ください。
xole.net
2016 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relations
2016-09-20
Seasar Conference Final
今週の土曜、9/24にSeasar Conference Finalを行います。
10年前に始まったSeasar Conferenceもいよいよ今度でFinalです。
お申し込みはこちら。
http://seasar.connpass.com/event/38679/
Seasar Projectの面白かったところって、開発方法
Amazonのレビューについて
仮復旧
危機コミュニケーションのゲームデザイン
悪役には「ずれ」がある。主役には欠落がある
研修期間中の勉強について
「ちゃんと」できる人なんていない
最近のコメント
仮復旧 に トモタカ より
仮復旧 に medtoolz より
仮復旧 に トモタカ より
危機コミュニケーションのゲームデザイン に Luddite より
危機コミュニケーションのゲームデザイン に
2009/02/06 表現の訓練の場
Last modified : 2015/08/09 21:38:49 UTC
Diagram
Published on July 21, 2015
2008/06/22 「名無しさん」という名前で911陰謀論肯定を書き続ける人はダメすぎなので、今後このエントリー以外へのコメントは消します
2008/06/12 ウォーターエネルギーシステム、水発電
2008/06/09 ミヤネ屋の反響(バイオシーパルス)
2008/06/07 911陰謀論と授業
200805
2008/05/28 常温核融合の公開実験に成功、どこでって、阪大で!
2008/0
posted @ 20:55 | Feedback (2)
IT勉強会カレンダー検索
いろいろ細かいところ(「繰り返す」付きで登録されているイベントが表示されないとか)はそのうち直します…気が向いたら。
ロード中... 件の結果が見つかりました カレンダーの追加情報...
MonTueWedThuFriSatSun
a
a
a
a
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
あけましておめでとうございます：移転しました
Google Glass、実は日本人を差別する陰謀だった！「Grassってなにｗｗｗ」 2013/05/16
[2013-04-23追記] PDF to Excel Free Online というサイトも紹介していただいた。どなたか比較記事を書いていただけたらありがたい。
Please wait while we redirect you to our website.
If you were not automatically redirected, please click here.
次回の発表：PTT#388
第 388 回 PTT のお知らせ
■日時: 2013年2月14日 (木) 18:30 から
■話者: 大平 怜（日本アイ・ビー・エム株式会社 東京基礎研究所）
ハードウェアトランザクショナルメモリを用いた
Ruby仮想機械の大域インタープリタロックの除去
多くのスクリプト言語ではインタープリタの内部設計を単純化するために
大域インタープリタロック(Global Int
・高杉さんちは購入中です。あれはよいものです。「家のなかにこんなもんがいたらやばい」指数でいうとかなりなもんですよね。画面全体にべっとりとこびりついた女子くささでいうと「たいようのいえ」に軍配が上がりますが、そのかわりあちらには女子中学生の不器用フレグランスがじゅくじゅくと漂っています。久留里、生理用品どこにしまってるのかなあ……。
そんで、それらの人たちに共通することがあるのに気づいた。それらの
funclang.net has been connecting our visitors with providers of Arts, Buy Movies, Corporate Entertainment and many other related services for nearly 10 years. Join thousands of satisfied visitors who
RT @t33f: 互除法がどんどん離れてゆく感覚。待って，行かないで
Saturday 10:15
そこで、下書きみたいな気持ちで書いた文章を 不思議の国のイネムリネズミ(Tumblr) に書くことにしました。(追記:URLのスペル変えました、ブックマークしたひとは変えてください、すみません)
位置付けは次のように考えています:
2011-08-16 りはびり
ちょっとずつ復帰。φ（．．）
コメント
Tools About Sign up Sign in
Multiple Rooms Public & Private Mac App iPhone / iPad App Fluid Support Gist & Pastie Images & Movies
Forbidden
You don’t have permission to access /index.php on this server.
Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request.
Apache/1.3.42 S
最新のお題: 数字混じり文字列ソート
greentea #12222(2010/07/17 13:21 GMT) 評価0/0=0.00
ファイル名の表示順序としてWindows Vista以降のExplorerや、KDEのDolphinでもいつの間にか、単純な辞書順ソートではなく数字混じりの文字列を数字順に並べるソートが採用されています。ここではそのソート方法を数字混じり文字列ソートと呼びます。
さよなら、こんな毎日…
…なんだそうな。最新バージョンは…えーと、どれだろう?
すいません、ネットワーク少し不安定になってます。 :: 2007.11.07 9:17.06 ::
ルータがいかれたので取り替えました。で、ついでに各種設定を見直したらDynDNSでAbuseにされたりなんかして…今んとこ、落ち着いたかしらん?
2007年/読書/橋本治 :: 2007.11.01 10:30.00 :