予告：セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)
「カリー／ハワード（Curry-Howard）のお絵描きを楽しもう」にて： シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか？」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります！ なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました； ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました（僕は意外に感じましたが）。 とい
Bash＆シェルスクリプトを極めるテクニックまとめ | OSDN Magazine
UNIXやLinuxのエキスパートになるのに避けて通れないのが、Bashに代表されるコマンドラインシェルによる操作だ。そこで本記事では、「Bashのカスタマイズ」「シェルスクリプトの高等テクニック」「Bash以外の高機能シェル」の3つについて、SourceForge.JP Magazineで過去に掲載された解説記事を紹介する。 Bashをカスタマイズして使いこなす Bashは非常にカスタマイズの幅が広く、またちょっとした改良や簡単なシェルスクリプトの利用により、大きく作業効率が改善する。ここでは、Bashのカスタマイズテクニックを解説する記事を紹介する。 コマンドラインでシェルのエイリアスと関数を使って作業を効率化する GNU/Linuxシステムを最大限に活用するには、やはりコマンドプロンプトとシェルスクリプトへの習熟が欠かせない。とはいえ、そうした処理はなるべく手早く済ませたいものだ。本
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
