つかれたアタマの道具箱：セルフヘルプのための／認知療法、ブリーフセラピー等による
これは、生きることや人間関係に疲れたとき、気持ちや心が落ち込んだとき、ストレスでアタマや心が疲れ切ったとき、どうしたらいいか分からない危機に陥ったとき、それでもなんとかしなきゃならない時に、開けてみる道具箱ToolBoxです。 「ドライバー」や「スパナ」のように、小さくてありきたりでたったひとつの用途にしか使えない道具も、ほとんど万能の道具である手と組み合わせることで、手だけではできないことを実現します。 この道具箱ToolBoxの中には、アイデアを思い付くことや問題解決を助けたり、治したい習慣を変えたり、ふさぎこんだ気分を改善するのに役に立つ、ちょっとした工夫やＴｉｐｓが入っています。どれもすぐにつかえる簡単な道具です。能力を上げたりスキルを身につけたりするための、心のフィットネスのようなものもあります。ほとんど万能である、あなたの「こころ」と組み合わせれば、きっと役に立つこともあるか
How Lisp Became God's Own Programming Language
When programmers discuss the relative merits of different programming languages, they often talk about them in prosaic terms as if they were so many tools in a tool belt—one might be more appropriate for systems programming, another might be more appropriate for gluing together other programs to accomplish some ad hoc task. This is as it should be. Languages have different strengths and claiming t
Home – Google Tech Dev Guide
Grow Your Technical Skills with Google Whether you're new to computer science or an experienced coder, there’s something for you here in Google’s Tech Dev Guide. We’ve carefully curated materials from various sources, including some made by Google, that you can use to grow your technical skills, supplement your coursework, and prepare for interviews. Interested in pursuing a career in business? Ch
History of T
(T was one of the best Lisp implementations, and set a standard for clean design that few newer dialects have been able to meet. Here Olin Shivers recounts T's history.) Around 1981-1982, the Yale CS dept., which had a strong AI group led by Roger Schank, hired undergraduate Jonathan Rees to implement a new Lisp for their research programming. Jonathan, I and Dan Weld (now a prof. at U Washington)
Learn Prolog Now!
Learn Prolog Now! is an introductory course to programming in Prolog. The online version has been available since 2001, and now there is also a throughly revised version available in book form. We wanted to do two things with this course. First, we wanted to provide a text that was relatively self contained, a text that would permit someone with little or no knowledge of computing to pick up the b
ソ連の宇宙技術は最強過ぎたのだが、それを西側諸国が完全に理解したのはつい最近だった
冷戦において最も激しく行われたのはミサイルの開発競争であったが、 このミサイル開発競争のために行われた宇宙開発における米ソの戦いは凄まじいものであった。 結果的に米国の勝利によって現在に至る……などといわれていたのは2000年前半まで。 2010年代においてロシアが大量に公開しはじめた宇宙技術関係の特許技術により、米ソの評価は完全に覆ってしまった。 公開されたデータによる最新の評価は「技術力のソ連」「金にモノを言わせてゴリ押しで結果だけ残した米国」というのが現状では極めて正しい評価である。 今回の小説内では米ソの技術力の差がいかほどにあって、どういう状況が生まれたかについて触れてみたい。 短編なのでそんなに話数は増えないはずであるが…… ラヴェル船長の受難とソビエト及びロシアだけが保有する衛生管理技術 2017/10/03 22:00（改） 少佐！減速できません！助けてください！……え？ソ
あるソフトウェア工学者の失敗 日本のITは何故弱いか
このドメインは お名前.com から取得されました。 お名前.com は GMOインターネットグループ(株) が運営する国内シェアNo.1のドメイン登録サービスです。 ※表示価格は、全て税込です。 ※サービス品質維持のため、一時的に対象となる料金へ一定割合の「サービス維持調整費」を加算させていただきます。 ※1 「国内シェア」は、ICANN(インターネットのドメイン名などの資源を管理する非営利団体)の公表数値をもとに集計。gTLDが集計の対象。 日本のドメイン登録業者(レジストラ)（「ICANNがレジストラとして認定した企業」一覧（InterNIC提供）内に「Japan」の記載があるもの）を対象。 レジストラ「GMO Internet Group, Inc. d/b/a Onamae.com」のシェア値を集計。 2023年5月時点の調査。
数理論理学(平成29年度)関連情報
講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブが入りがちなので, このとおりに話したとは限りません. ダブり・省略・順序変更が発生する可能性があります. 第1回 (6/13) 全体の導入。命題論理の論理式の構文論。 講義ノート1. 講義ノート2. (小テストなし) 第2回 (6/15) 真理値表と真理値割当て。トートロジー。 講義ノート1. 講義ノート2. 小テスト 授業で配布した小テスト解答例に間違いがありました。ごめんなさい。次回の授業で訂正します。 第3回 (6/20) 充足可能性。命題論理のコンパクト性。(講義ノート2枚目の(エ)の証明まで) 講義ノート1. 講義ノート2. 小テスト 第4回 (6/22) 命題論理のコンパクト性(続き)。 真理関数。論理的同値性。選言標準形。 講義ノート1． 講義ノート2． 配布資料 小テスト
Creating Languages in Racket - ACM Queue
Creating Languages in Racket Sometimes you just have to make a better mousetrap. Matthew Flatt, University of Utah Choosing the right tool for a simple job is easy: a screwdriver is usually the best option when you need to change the battery in a toy, and grep is the obvious choice to check for a word in a text document. For more complex tasks, the choice of tool is rarely so straightforward—all t
68 Resources on creating programming languages
The tomassetti.me website has changed: it is now part of strumenta.com. You will continue to find all the news with the usual quality, but in a new layout. Here it is a new guide, to collect and organize all the knowledge that you need to create your programming language from scratch. Creating a programming language is one of the most fascinating challenge you can dream of as a developer. The prob
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
スーパーコンピューティングの将来 牧野淳一郎
Previous ToC Next PDF 版はこちら 高橋メソッド版(2006/1/13 天文台でのプレゼンテーション)はこちら Contents 0. 初めに 1. IBM BG/L の方向 (2005/12/5) 2. Cray XT3 --- MPPは復活するか？(2005/12/6) 3. NEC SX-8 --- ベクトルのたそがれ (2005/12/7) 4. 富士通 NWT/VPP-500 --- 日本発の「革命」 (2005/12/8) 5. 何故スーパーコンピューターは売れなくなったか (2005/12/13) 6. x86 以外のプロセッサになにが起こったのか？ (2005/12/14) 7. SSE の限界(2005/12/23) 8. 専用計算機は？(2005/12/25) 9. 他の可能性は？ --- I. FPGA と再構成可能計算 (2005/12/28)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Internet Archive: Digital Library of Free & Borrowable Books, Movies, Music & Wayback Machine
日本物理学会誌（物理学70の不思議）
Interview with Ernest Hebert, Award-Winning Author and Professor of Creative Writing at Dartmouth College
相転移プロダクション
https://itaken1.jimdo.com/2011/03/09/%E5%A5%B3%E6%80%A7%E3%81%AB%E3%81%A8%E3%81%A3%E3%81%A6%E6%95%B0%E5%AD%A6%E3%81%AF%E3%81%A9%E3%81%AE%E3%82%88%E3%81%86%E3%81%AA%E6%84%8F%E5%91%B3%E3%81%8C%E3%81%82%E3%82%8B%E3%81%AE%E3%81%8B-%EF%BC%91%EF%BC%98%E4%B8%96
http://www.ccis.northeastern.edu/home/matthias/manifesto/
http://homepage3.nifty.com/sukha/
http://coder.lv9.org/rinks/sicp.html