{"version":"https://jsonfeed.org/version/1.1","title":"研究紹介  コンピュータソフトウェア分野","description":"  研究紹介  コンピュータソフトウェア分野","home_page_url":"https://www.fos.kuis.kyoto-u.ac.jp/","feed_url":"https://www.fos.kuis.kyoto-u.ac.jp/research/index.json","language":"ja-JP","icon":"https://www.fos.kuis.kyoto-u.ac.jp/apple-touch-icon.png","favicon":"https://www.fos.kuis.kyoto-u.ac.jp/apple-touch-icon.png","authors":[{"name":"Atsushi Igarashi","url":"https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/"}],"items":[{"title":"特別対談「五十嵐・末永研とは何なのか，何でないのか」","date_published":"0001-01-01T00:00:00Z","date_modified":"0001-01-01T00:00:00Z","id":"https://www.fos.kuis.kyoto-u.ac.jp/research/dialog/","url":"https://www.fos.kuis.kyoto-u.ac.jp/research/dialog/","content_html":"\u003cdiv class=\"dialog-container\"\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eどうもーどうも 五十嵐・末永研ですー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eお願いしますー　ありがとうございますー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあーありがとうございますー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eねっ　今ハンドスピナーをいただきましたけどもね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eありがとうございますー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eこんなん　なんぼあっても良いですからね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e一番良いですからね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eねー有り難いですよ　ほんとにね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e入れておきましょう\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eゆーとりますけどもね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eいきなりですけどね　うちのオカンがね　入りたい研究室があるらしいんやけど\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあっ　そーなんや\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eその名前をちょっと忘れたらしくてね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e研究室の名前忘れてもうて　どうなってんねそれ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eでまあ色々聞くんやけどな　全然分からへんねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e分からへんの？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eいや　ほな俺がね　おかんの入りたい研究室　ちょっと一緒に考えてあげるから　どんな特徴ゆうてたかってのを教えてみてよ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eあのー，プログラミング言語とか検証の研究してるって言うねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eおー　五十嵐・末永研やないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eその特徴はもう完全に五十嵐・末永研やがな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e五十嵐・末永研なぁ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eすぐ分かったやん　こんなんもー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eでもこれちょっと分からへんのやな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e何が分からへんのよー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eいや俺も五十嵐・末永研と思うてんけどな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eいやそうやろ？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eオカンが言うには　すぐ社会の役に立つ研究してるって言うねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあー　ほな五十嵐・末永研と違うかぁ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eプログラミング言語の研究がすぐ社会の役に立つ訳ないもんね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eプログラミング言語はね　できて30年経ってその言語のプログラマが5人いたら勝ち，って世界だから\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eな？　プログラミング言語もね　来年までにライブラリまで揃えて処理系完成させてねってなったら荷が重いよあれ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねんそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eプログラミング言語の研究ってそういうもんやから\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほな五十嵐・末永研ちゃうがなこれ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあれほなもう一度詳しく教えてくれる？んー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eなんであんなに准教授の声デカイんか分からんらしいねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研やないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあの准教授の人の声むちゃくちゃデカイんやからあれ　７号館の駐輪場からでも十分情報１でやってる講義を聴けるから\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eまあねー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほんであれでも　昔より声小さくなっとんねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研やそんなもんは\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e分からへんねんでも\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e何が分からへんのこれで\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e俺も五十嵐・末永研と思うてんけどな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eそうやろ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eオカンが言うには　研究室の人みんな Python 大好きって言うねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほな五十嵐・末永研ちゃうやないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあそこでPython書いたらテストケース百万通り書くまでプログラム完成したって言わせてもらえんもんね\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003ePythonはねー　プログラムが正しいかどうかなんて気にしない人やから書けんのやで\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねんそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eな？　それプログラムが大きくなるにつれて手に負えなくなるから　最後 OCaml でスクラッチから書き直してまうねんあれ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねんそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eそういうカラクリやからあれ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねんな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研ちゃうがな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほな　もうちょっとなんか言ってなかった？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e研究室前の掲示板が意味不明で怖いらしいねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研やないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあそこに貼ってある能年玲奈の絵みたらその晩うなされたがな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eでも古典論理の犬はかわいいなあれ　五十嵐・末永研よそんなもん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e分からへんねんだから\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eなんで分からへんのこれで\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e俺も五十嵐・末永研と思うてんけどな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eそうやろ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eオカンが言うには　研究室に行くとペッパー君が出迎えてくれるっていうねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほな五十嵐・末永研ちゃうやないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあそこはロボットいうたかてせいぜい掃除機能のないルンバしかあらへんねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eせやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研はね　そもそもロボットどころか研究室いっても大抵誰もおらへんねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eせやねんせやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあれみんな家にこもって数学やってんねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eせやねんせやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研ちゃうがなほな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほなもうちょっとなんかゆうてなかったか？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e教授が提案した言語機能　Java に使われてるらしいで\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研やないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eあれ複雑すぎてライブラリのAPIがかえってわかりにくくなったって陰口叩かれとんやから？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eJavaがこれ以上複雑になろうもんなら俺は動くよほんま\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e五十嵐・末永研や絶対\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e分からへんねんでも\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eなんで分からへんのこれで\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e俺も五十嵐・末永研と思うてんけどな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eそうやて\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eでもオカンが言うには　五十嵐・末永研ではないって言うねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eほな五十嵐・末永研ちゃうやないかい\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eオカンが五十嵐・末永研ではないと言うんやから五十嵐・末永研ちゃうがな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eそやねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003e先ゆえよ\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003e申し訳ないよだから\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eホンマに分からへんがなこれ　どうなってんねんもう\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eんでオトンが言うにはな\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eオトン？\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eたまごかけごはん研ちゃうか？って言うねん\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eいや絶対ちゃうやろ　もうええわー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message left\"\u003eありがとうございましたー\u003c/div\u003e\n\n\u003cdiv class=\"dialog-message right\"\u003eありがとうございましたー\u003c/div\u003e\n\n\u003c/div\u003e\n\n\u003cp class=\"dialog-note\"\u003e（この対談は2020年4月1日に行われました）\u003c/p\u003e\n\n\n"}]}