1 ALF
1.1 프로그래밍 언어 ALF
Algebraic Logic Functional이라는 흠좀무한 이름을 갖고있는 프로그래밍 언어. 프로그래밍에서 마이너한 두 분야인 함수형 프로그래밍과 로직 프로그래밍을 합쳤다고 보면 된다.
1.2 Theorem prover ALF
Martin-Löf type theory 라는 수리논리나 컴퓨터 과학 박사과정쯤에 구경해볼 수 있는 이론의 구조 에디터이다.
2 인명
| 동명이인 |
| ㄱ · ㄴ · ㄷ · ㄹ · ㅁ · ㅂ · ㅅ · ㅇ · ㅈ · ㅊ · ㅋ · ㅌ · ㅍ · ㅎ |
Alf
2.1 실존인물
2.2 가상인물
- 알프(마법소녀 리리컬 나노하 시리즈) - 마법소녀 리리컬 나노하 시리즈
- 알프(북두의 권) - 북두의 권
- 알프 - 외계인 알프
- 알프(크로노 크로스) - 크로노 크로스
2.2.1 외계인 알프의 주인공 외계인
국내에도 방영된 미국 드라마 외계인 알프의 주인공 외계인. 생긴건 개미핡기 비슷한 길쭉한 얼굴의 갈색 털북숭이다. 우리말 성우는 배한성.
이 드라마는 1980년대에 미국에서 방영된 드라마로 한 가족이 행성 멜맥에서온 털복숭이 외계인과 사는 소소한(?) 이야기를 다룬 작품이다. 이름은 첫 만남 당시 집주인 윌리가 외계에서 온 놈이라며 Alien Life Form에서 앞글자만 따서 지으며 알프로 불리지만 본명은 Gordon Shumway이다.
인기는 꽤 있었는지 4시즌까지 방영되었으며 가끔 미국 영화나 드라마 등에 간간이 등장한다. 빅뱅 이론에 모 석사학위를 가진 마마보이가 어릴 때 쓰던 물건을 정리하던 중 알프인형보고 감격에 겨워한다던가..
한국에서 발매된 캐릭터상품중에서는 당시 중견 완구회사였던 한국로보콤이 제작한 산수천재 알프버전도있엇다. 좀 커다란크기의 산수교육용 계산기/게임기로 가운데에 캐릭터가 있고 LCD 화면에 캐릭터가 공놀이를하면서 셈개념을 알려주는 개념의 전자완구였는데 원래 삐에로로 나오던것을 알프 스킨 씌워서 출시하기도 한것이다.
방영 당시 사정상 인형을 써서 하반신이 특정상황(폭발로 날아간다거나 던져진다거나) 이외엔 안 나온게 내용상의 특징이라면 특징? 상당히 먹보이며 사는 별에서는 고양이를 식용으로 하는지라 얹혀사는 집 애완고양이를 호시탐탐 노리고있다.
왜인지는 몰라도 달팽이를 싫어한다. 기절하며 넘어지다가 달팽이가 있다고 하니 다른 방향으로 넘어진다.