新種なだけじゃなかった…国内で94年ぶり「新属」確認　肝付で発見の希少植物　「ムジナノショクダイ」と命名　鹿児島大などのチーム

交通の便は、「住みやすさ」を大きく左右する。行きたい場所に自由に、かつ快適に動き回れる環境がなければ、住民はどんどんその土地を離れていってしまう。その意味で、交通システムの改善は、地域活性化のための重要な手段の1つとなる。 だが、交通システムの改善や構築には、住民サービスの視点はもちろん、乗り物や交通制御システムに関する高度な技術が必要だ。だから、これはまさに産学官が共同して取り組むべきテーマなのである。 第8回産学官連携推進会議（6月20～21日、国立京都国際会館）では、「産学官連携功労者表彰」として、先進的な連携活動や、成功事例が表彰された。表彰事例の中に、地域交通システムに関する2つのユニークな取り組みがあったので紹介しよう。 高知県の道路の特殊事情 1つは、国土交通大臣賞を受賞した高知県の事例。高知県 土木部 道路課、高知工科大学 地域連携機構 連携研究センター 地域ITS社会研究

Gmailはいわずと知れたメールアプリの雄。誰にでも使いやすく、インターネット接続さえできれば、いつでもどこでもアクセスできるのも魅力ですね。しかし、Gmailの底力はまだまだ計り知れません。こちらでは、米LifehackerのAdam編集長直伝の、キーボードショートカットやGoogle Labsのとっておきの機能、オススメのブラウザ拡張機能についてご紹介しましょう。よりスムーズなコミュニケーションができ、生産性アップにつながるはず。特にGmailのヘビーユーザの方、必読です！ その1: キーボードショートカットを使う キーボードショートカット機能を使うためには、Gmailでの設定が必要です。まずGmailの「設定画面」＞「全般」で「キーボードショートカットON」をチェックし、変更を保存しましょう。 さらに、Google Labsをクリックし、「ラベルショートカット（Go to label

会計年度の切り替わりに伴い自動的に情報開示レベル（★）が再計算されます。 情報が更新されていない場合は★が下がる事がありますのでご注意ください。 会計年度開始月になりましたら更新してください。 ...

ジョブズのプレゼンの上手さとかアメリカ人のノリの良さとか。2007年1月9日基調講演(keynote address)にて iPhone を初公開する Apple の Steve Jobs 日本語字幕付き。

ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり