Yusuke Shinyama euske

Interesting Links

Mostly for classroom talks...

世界の観察

https://zoom.earth/ 衛星画像
https://earth.nullschool.net/ 大気と海流
https://james.darpinian.com/satellites/ 人工衛星を見よう
http://stars.chromeexperiments.com/ 100,000 Stars
https://river-runner.samlearner.com/ 米国に降った雨粒

情報系の学生が身につけておくべき (だが、大学では教えてくれない) こと

大学の授業では理論的な基盤を教えることが多く、実務的な知識はあまり教えないのが普通である。しかし実際に研究・実験・就職をする場面になると、学校では教えない多くの知識が必要になる。残念ながら、現在の大学にはこれらを体系的に教えるようなカリキュラムは存在せず、多くの学生は独学か、研究室の先輩などから教わることになる。ここではそうした知識のうち重要と思われるものを記した。なお、プログラミング言語や業務システムに関する知識は除いてある。また、知識は「○○を勉強せよ」などという漠然とした指示ではなく、できるだけ具体的な例を挙げた。

もちろん、これらに加えて大学の授業 (線型代数、アルゴリズム、統計、型理論など) もきちんと学ぶ必要がある。企業などでは実践的な知識がなければ「使えない人」とみなされてしまうが、

(本当にいた) 善きサマリア人

Original: http://www.bbc.com/news/magazine-12043294 (A Real Good Samaritan)

バーナード・ヘア (作家)

その日の午後、警察から学生寮のほうに呼び出しがきたが、俺はどうせまた立ち退きの要求だと思ったので答えずにいた。俺はもう何ヶ月も家賃を払ってなかった。

でもそのあと思った。俺の母親はあまり身体の具合がよくない。もしかしたら母に何かあったんじゃないか?

FFmpeg チートシート

コマンドラインツール ffmpeg の有用なコマンド:

FFmpeg ダウンロード: https://www.ffmpeg.org/download.html

文書: https://www.ffmpeg.org/ffmpeg.html

	<html><body>
	<style>
	body { padding-top: 1em; }
	table { border-collapse: collapse; margin: 1em; }
	td { padding: 6pt; border-width: 4px; }
	b { font-size: 150%; }
	</style>
	<table border>
	<tr>
	<td style="width:140pt;" align=left>

	### cdhist.sh
	###
	### Copyright (c) 2001 Yusuke Shinyama <yusuke at cs . nyu . edu>
	###
	### Permission to use, copy, modify, distribute this software and
	### its documentation for any purpose is hereby granted, provided
	### that existing copyright notices are retained in all copies and
	### that this notice is included verbatim in any distributions.
	### This software is provided ``AS IS'' without any express or implied
	### warranty.

	#!/bin/sh
	exec >& doit.log
	echo "* BEGIN `date +'%Y-%m-%d %H:%M:%S'` *"

	renice +10 $$

	# ...DO SOME LENGHTY STUFF...
	# cd data \|\| exit 1
	# for i in *.txt; do
	# echo "* $i *"

	#!/bin/sh
	SSH_HOME=$HOME/.ssh
	SSH_LOG=${SSH_AGENT_LOG:-$SSH_HOME/ssh-agent.log}
	SSH_KEY=${1:-$SSH_HOME/id_ed25519}
	KEY_DURATION=1d

	IFS=$'\n'
	sig=$(ssh-keygen -l -f "$SSH_KEY")
	for i in $(ssh-add -l); do
	if [ "$i" = "$sig" ]; then

	<!DOCTYPE html>
	<html>
	<head>
	<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
	<meta http-equiv="X-UA-Compatible" content="IE=edge" />
	<title>Video Trimmer</title>
	<style>
	h1 { border-bottom: solid black 2px; }
	.selector { border: solid black 1px; margin: 4px; padding: 4px; }
	.player { border: solid black 1px; margin: 4px; padding: 4px; }