職種別の選考対策
年次:

26年卒 研究開発(R&D)職
研究開発(R&D)職
No.365810 インターン / エントリーシートの体験談
26年卒 研究開発(R&D)職
研究開発(R&D)職
26年卒
エントリーシート
>
インターンシップ選考
早稲田大学大学院 | 理系
エントリーシート
提出期日 | 2023年11月23日 |
---|---|
提出方法 | マイページ上で |
結果通知時期 | 2週間以内 |
結果通知方法 | メールで |
現在の研究テーマ
◯◯◯◯のための型推論セミアルゴリズムの構築
現在の研究概要【Nested Data Type(NDT)、多相再帰、会議名は個人特定回避のため伏せ字にしてください】
型推論は、OCaml などの実世界の静的型付き言語が提供している機能であり、型の明示的な記述がないプログラムに対して型の復元を行うものである。実世界の言語が提供する型推論は多くのプログラムに対して機能するが、複雑なプログラムに対しては機能しないという課題がある。プログラムが型推論できない場合、...
応募理由
型システムの理論的背景と実践的応用の間のギャップを埋めるためです。私の研究は、型システムがプログラムの正確性をどのように保証し、開発プロセスをどのように改善するかに焦点を当てており、◯◯を活用したプログラム合成においても、これらの原則が如何に有効かを探求する絶好の機会だと考えています。型駆動開...
各質問項目で注意した点
専門とする人へもそうでない人へも伝わりやすい文章とするよう意識した.特に、専門とする人もいることに注意し、過度な抽象化や論理の飛躍は避けながらも要点がわかりやすくなるよう心掛けた
この投稿は4人が参考になったと言っています。
この体験談は参考になりましたか?
基本的にONE CAREER事務局でES設問/選考フローの漏れがないことを確認済みのコンテンツですが、一部チェックできなったものはユーザーからの申告に基づいたコンテンツです。
ONE CAREERへの新規登録/ログインが必要です。
その他企業の選考対策
-
IT・通信三菱UFJインフォメーションテクノロジー総合職(システムエンジニア)
-
IT・通信東京ガスiネットシステムエンジニア
-
IT・通信NTTデータ フィナンシャルテクノロジー【NTTデータシステム技術・NTTデータ・フィナンシャルコアが統合】システムエンジニア
-
IT・通信(旧)日本アイ・ビー・エム・サービス(ISC-J)ITスペシャリスト(システムエンジニア)
-
IT・通信(旧)日本アイ・ビー・エム・ビズインテック(IBIT)システムズ・エンジニア
-
IT・通信日本アイ・ビー・エム システムズ・エンジニアリング(ISE)ITスペシャリスト(システムズ・エンジニア)