|
|
|
|
|
||
|
||
58 views
Minimum-weight bipartite matching on the unit interval
pr.probability
matching-theory
lower-bounds
upper-bounds
Tom Solberg
4,109
6 votes
1 answer
421 views
An extension of Lehmer's conjectur
■堀井とき
anond:20241222124343
法律もなにもしらない底抜けの馬鹿がいた。アニオタもやめてほしい。バカすぎてオタクのイメージが悪化する。
堀井とき
@toki_holy
とはいえ、一審では有罪判決があり、裁判官によって揺れがある訴訟であればなお、裁判官の判決に対して国民が監視するのも民主主義だと思います。国民審査があるように。
引用
平河エリ Eri Hirakawa
@Eri
21.12.24
Please submit to Lambda Days
I'm part of the programme committee for Lambda Days, and I’m personally inviting you to submit your talk!
Lambda Days is all about celebrating the world of functi
0 votes
0 answers
2 views
In which class is the problem of computing propositional Craig interpolants?
cc.complexity-theory
lo.logic
user1868607
1,071
asked 2 hours ago
529 views
modified 3 hours ago
WordPress.com で無料サイトやブログを作成.
Luis Gonçalves Ben Linders 翻訳者 大田 緑 - (株)チェンジビジョン、松田 友里、新田容子
Create a free website or blog at WordPress.com.
Cheesemakers
As I’ve been thinking/ranting about the limits of keynote presentations I realise that (as ever) the Pythons got there first. Keynoters love to think that they can just pour their
4 March
自分自身を振り返るにはいい機会でした＞45歳うんたら説
ガザ停戦、アブラハム合意交渉再開へ
【2024年12月19日】トランプの就任までにイスラエルがハマスと交渉してガザ戦争を停戦し、停戦をアブラハム合意の条件にしているサウジアラビアが米イスラエルの努力を認め、トランプ政権の開始ととともに米仲裁のサウジとイスラエルの和解・アブラハム合意への交渉が再開する・・・。
Exclusion Principle
Permanent link to this comic: https://xkcd.com/3027/
Image URL (for hotlinking/embedding): https://imgs.xkcd.com/comics/exclusion_principle.png
Implicit double dispatch revisited
Function Memoization in Scala
Site design / logo © 2024 Stack Exchange Inc; user contributions licensed under CC BY-SA . rev 2024.12.20.20747
Rule 3: don't eat up asynchronous exceptions of others
Exceptions of others have their own semantics. If you eat up them, your code does not work well.
》 Mitigating NTLM Relay Attacks by Default (Microsoft, 12/9)。DeepL 訳:
注目すべき開発は、Windows Server 2025 および Windows 11 24H2 で NTLMv1 が削除され、より一般的に使用されている NTLM v2 が非推奨になったことです。さらに、管理者は NTLM をブロックするように SMB を構
CubePDF 4.2.0 or later
CubePDF 4.2.0 をリリースしました。修正・変更点は下記の通りです。 Web 表示用に最適化する機能を削除 その他の修正 CubePDF 4.3.0 以降の更新 4.3.0 (2024-12-20) Web 表示用に最適化する機能を削除 PDF ファイルは通常、最初にファイルの末尾部分を読み…
CubePDF 4.2.0 or later
π/3, π/4, π/5, π/6 などに対する三角関数の値の根号表現を知った後、では π/7 や π/14 などに対する cos や sin 等の値は？と興味を持つのは、素朴な好奇心だろう。「何の役に立つのか」とは無関係に！
実用性に乏しいので、既存の資料・文献等にはほとんど記述がない。だからこそますます興味を感じ、自力で導出しよう・なるべくきれいな表現を得ようと試みる…。これまで「三重根号あ
スラドと OSDN の受け入れ先募集、現在の状況について [4] 127
雑談用ストーリー [3] 1224
ふるさと納税で丹波黒 ― 2024年12月17日 18時09分10秒
毎年正月向けに煮ている黒豆。
そろそろ試験運転をしようと思って、黒豆を買いに行ったら、スーパーなどにも、丹波黒がない。例年、丹波黒がないときは、まあ、丹波黒は高いしと思って、光黒という黒豆を買っていた。
しかし、今年は、閃いた。
ふるさと納税で、丹波黒を返礼品にしている自治体があるのではないか。
調べたら、ありました。しかも、丹
インターポールが国際恋愛詐欺を「豚殺し」から「ロマンティックベイティング」に言い換えるようにと呼びかけ、「ブタ」はさすがに被害者への配慮に欠ける
12月19日13時00分セキュリティ
Googleストリートビューに「殺人犯が死体を車に積み込む瞬間」がバッチリ映ってしまい犯人逮捕へ
12月19日12時39分メモ
スティーブ・ジョブズが初代Macintoshを発表した場所が今やがれきの山になっている
2024-12-25
新刊近刊 awk FORTRAN Compiler on IBM 704 Hugo メモ
ヒットをねらえ
アニメ化 TVアニメ「宇宙人ムームー」 へー advent calendar 技術系アドベントカレンダーの歴史に思うこと | おそらくはそれさえも平凡な日々 ただ、アドベント期間を
Perpetual Calendars
Posted on 16 December 2024 by John
The previous post explained why the Gregorian calendar is the way it is, and that it consists of a whole number of weeks. It follows that the Gre
2024-12-15
長女の悪化
育児 不登校
その日はたまたま帰りが遅くなった。普段は 19:30 には帰宅するようにしているのに、仕事のキリが悪くて 20:30 になってしまった。うすうす良からぬ事が起こるような気がしていたが、案の定長女がまだお風呂に入っていなかった。
二年前の怪我以来長女の生活リズムには気を遣う。お風呂に入るのが遅くなると眠気で機嫌が悪くなり、なぜか膝まで痛くなる。また薬を
2024-12-14
_ 新国立劇場の魔笛
2022年4月に引き続きウィリアム・ケントリッジの魔笛。
今回の指揮のトマーシュ・ネトピルは序曲から良い感じ。特にフーガに入るところが絶妙で期待が高まる。とはいえ、やはり1幕は退屈だ。
一方、前回と同じく、ザラストログループ（今回は前の新自由主義者の巣窟というよりも、アカデミアっぽく感じたので悪い印象が薄れた）のパートが抜群。
また前回同様に、パパゲーノ
2024-12-13
連立方程式系と余連立余方程式系
雑記／備忘
「圏論のエンドとコエンドは双対なんだよ」で述べたように、エンドとコエンドは完全に双対なのですが、この双対性、なかなかに分かりにくいようです。エンドの作り方は「連立方程式系の解空間を求める」行為になっています。コエンドを作ることはその行為の…
連立方程式系と余連立余方程式系
Current Events (37)
New Technology (44)
Wolfram Language (305)
Current Events & History
Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant
December 9, 2024
Nearly a yea
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
ポンジ経済学賞、最有力候補に「０５７０」 惜しくも受賞至らず
経済学に優れた業績を残した人物に贈られるポンジ経済学賞の今年の最有力候補に、電話案内サービス「０５７０」を発明した円谷金利さんの名前が挙がっていたことが６日、わかった。推薦理由は「フラストレーション収益化モデルの構築」だったが、円谷さんと調整がつかず受賞には至らなかったようだ... 続きを読む
Create a free website or blog at WordPress.com.
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
2024-12-01
推敲のロジック
技術記事とかを書くとき、推敲をする。僕がどういうロジックで推敲をしているかの話。
前提知識
想定読者をまず決める。この記事を読むには前提知識としてこのぐらいは知っていてね、のライン。例えばJavaの記事を書くなら基礎的な構文は分かってる前提とする、とか、マニアックな記事なら、もっと深い知識を持っている前提とする、とか。一般向けの記事だと高校までで習うような前提
ラストマイル・エニキャリによる「政府が目指すフィジカルインターネットでEC配送が変わる！」ライブ配信、11月28日（木） 14時より（2024/11/11）
ラストマイル物流に特化した物流ソリューション事業を展開するエニキャリは、「政府が目指すフィジカルインターネットでEC配送が変わる！」と題して、11月28日 14時より、YouTubeでライブ配信を行うことをお知らせします。 お申し込みフォーム
2024-11-28
今度はごま(18歳、オス猫)の具合も悪い
日記
26日、火曜日の深夜、それまで元気にしていたゴマの調子が急に悪くなる。
身動きが取れないような感じで、少し歩いてはうずくまる。少しづつ動いて、涼しいところへ移動しようとする。頭をあげることができない。目は、自分に何が起こっているのか分からない感じ。その状態が、オシオとマメちゃんが亡くなるときの様子に似ていて、覚悟をした。もうお年
日本のIPv6採用状況が50％を超えている件について
Nov. 2024
Last Modified: Thu Nov 21 21:39:07 UTC 2024
さむっこ 2024-11-22 [Fri] 06:35
ゲームジャムにはどうにか参加できたが、
それ以外のことをする時間はまったくない
(趣味という意味で)。
これは他の親の方々も同じようである。
ちなみに職場には同じぐらいの子供をもつ親が沢山いるので、
そういう意味では話題にこと欠かない
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
DemandScience and Terminus merger blends the power of Lead Generation & ABM
|
Read more >
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
DemandScience and Terminus merger blends the power of Lead Generation & ABM
|
Read more >
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
週末のお出かけの記録（BOOK MEETS FUKUOKA、手塚治虫 ブラック・ジャック展）
『AIの倫理学』と対になるマーク・クーケルバーク『ロボット倫理学』邦訳が出ていた
『ザ・ブラックオニキス』の作者にして、テトリスを世界的ビジネスにしたヘンク・ロジャースの回顧録が来年出る
オアシス：ライヴ・アット・ネブワース 1996.8.10
２度目のはなればなれ
自作のなんちゃってフレームワークでブログを作りました
2024 / 10
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
2024-10-12
詳細設計書
工学部を出た新卒でもないのに未経験からIT業界って、ITエンジニアという仕事自体が未経験者からすごく舐められてない？
そもそも工学部を出た新卒でもないのに未経験からIT業界って、ITエンジニアという仕事自体が未経験者からすごく舐められてない？
これがメーカーの電気やメカのエンジニアだったら工学部出てても院卒じゃないと厳しいくらいだよ？
— 虹色ありす🌈⚜ (@Ar
TypeScriptは型安全じゃないからすばらしい
2024 / 10
録画予報 2024-Q4
keisuken, 2024/10/02 8:43:15
録画予報 2024-Q4
スケジュール
曜 番組 時間 CH 評価 録画機
月 *MFゴースト2nd Season 00:00-00:30 BS11 ? 1,2
月 君のことが大大大大大好きな100人の彼女 00:30-01:00 BS11 ? 1,2
火 *転生貴族、鑑定スキルで成り上がる2 00:30-01:0
出願手続きは共通ポータルがあって、全部オンラインでできる。高校では秋学期に進学向けのクラスがあって、その中でアドバイスを受けながら基本的には本人が自力で進める。
エッセイは結構重要らしいんだけど、これは自分には勘どころがわからない。ただ、進学クラスで綿密に練っていて、最終稿を見せてもらったけどなかなか良く書けていた。日本語でエッセイというと随筆みたいな印象だけど、こちらではどっちかというと小論文。
この広告は、90日以上更新していないブログに表示しています。
週3日勤務。残り4日は英語ブログアジアジンやThe Japan Times等で活動しております。連絡先は「姓@gmail.com」です。
June 4, 2009
Diggが広告に投票できるようDigg Adsでマネタイズを模索
巨大ソーシャルニュースサイトのDiggが、新しい広告プログラムの開始を宣言した。
Diggのトップページやカテゴリページには、ユーザがdigg(投票)した今一番熱いニュ
Design a site like this with WordPress.com
Get started
真実のカウンセリング「タトゥー」
2024/7/23 火曜日
記事を読む 真実のカウンセリング「タトゥー」
記事を読む ＤＸで完 ...
真実のカウンセリング「タトゥー」
精神科マンガ (424)
2024年07月07日
■ 個人情報保護法第2期「3年ごと見直し」が佳境に差し掛かっている
個人情報保護委員会の3年ごと見直しの検討は既に昨年11月の時点から始まっており、事務局が示す方向性も3月の時点で公表されていたが、とくに表立って何も言わなかったのは、意見は公式に言うつもりだったからだ。しかし、前回（5年前）は4月に中間整理が公表され5月にヒアリングに呼ばれたのに、今年はトラブルがあったよう
7月8
折り紙分子模型その3
さとうです。久しぶりにブログの方を。
以前、折り紙で作る分子模型（sp2型・sp3型）を考案し、発表しました。ただsp2型の方はちょっと折り方・組み方が面倒で、大きなものは作りにくく、また分解も面倒という難点がありました。
そこで、もうちょっと折りやすく組みやすいものを新たに考案し、昨年行われた日本表面真空学会の市民講座で紹介しました。このタイプをまだ一般に公開してい
それでも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
読者になる
/dev/wd0a
読者になる
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
読者になる
この広告は、90日以上更新していないブログに表示しています。
2024 著作権. 不許複製
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」を新たに追加する
クリスマスキャロル (終)
2023年12月（3件）
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
| Comment(1) | TrackBack(0) | Others | |
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 :